Re: Truncation of FLOAT values

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

John Herro said

"function Floor(X : in Float) return Integer is
   Answer : Integer := Integer(X);
begin
   if Float(Answer) > X then
      Answer := Answer - 1;
   end if;
   return Answer;
end Floor;"

Although this will typically work, Ada semantics do not guarantee that
it will work.

X may not be a model number, suppose that in fact X is
1.99999999999999999999999999999999

representing a number that is less than the model number 2.0, but
greater than the largest model number less than 2.0. 

Now answer will surely be 2

Float(Answer) is the model number 2.0

but since x is not a model number, it can be treated as though it were
any number in its model interval, and in particular as 2.0, so that
the test may yield false and the final restul returned is 2 instead
of 1.

You can actually imagine this happening with some scenarios of extended
values being passed in registers.


Floating-point semantics are very delicate :-)