gnat: float problem

[Jan Prazak <janp9@gmx.net>]

Hello,

I don't know if this is a bug or not, please take a look:

-----------------
with Text_IO; use Text_IO;

procedure my_test is
i : integer;
f : float := -1.0;
package My_int_io is new Integer_IO(integer); use My_int_io;
package My_float_io is new Float_IO(float); use My_float_io;
begin
    new_line;

    for x in 1 .. 6
    loop
        put(f);
        i := integer(f);
        put(i);
        new_line;
        f := f + 0.1;
    end loop;

    new_line;

    put(integer(-0.5)); -- prints "-1"
end;
----------------

OUTPUT:

-1.00000E+00         -1
-9.00000E-01         -1
-8.00000E-01         -1
-7.00000E-01         -1
-6.00000E-01         -1
-5.00000E-01          0

         -1

I know that floating point numbers are not very exact, but this really
looks like a bug, because -5.00000E-01 == -0.5.

Jan