Re: Truncation of FLOAT values

[dewar@cs.nyu.edu (Robert Dewar)]

Mike said

"If your compiler rounds, then you can simply add 0.5 to the FLOAT value
prior to converting it an INTEGER. You get the fractional part by
converting the result back to FLOAT and subtracting it from the
original FLOAT value."

First, you clearly meant to say subtract rather than round,

e.g. 2.3 - 0.5 = 1.8, conversion rounds to 2 = integer part of 2.3

but that's wrong, because

3.0 - 0.5 = 2.5, which is allowed in Ada 83 to round to 2 when you want 3.

There is no trivial solution  to this in Ada 83, which is why the
truncation attribues was added to Ada 95.