GNAT GPL 2009 - issue with floating points?

[Damien Carbonne <damien.carbonne@free.fr>]

Hi,

When compiling the following sample code with GNAT GPL 2009 on Linux:

generic
    type Real is digits <>;
package Pack04 is
    Size1 : constant := Real'Size;
    Size2 : constant Integer := Real'Size;
end Pack04;

I get this:

-- pack04.ads:4:24: non-static expression used in number declaration
-- pack04.ads:4:28: size attribute is only static for scalar type (RM 
4.9(7,8))


RM 3.5(1): "scalar types comprise enumeration types, integer types, and 
real types."

RM 3.5.6 (1): "Real types provide approximations to the real numbers, 
with relative bounds on errors for floating point types, and with 
absolute bounds for fixed point types."

So Real is supposed to be a scalar!

Is this a problem with (misleading) message or with (effectively) wrong 
code?

Initially I wanted to create a generic package similar to:
generic
    type Real is digits <>;
package Generic_Float_Util is
    function Is_Positive (X : Real) return Boolean;
end Generic_Float_Util;

The intent is to get the sign of a floating point by directly reading 
the sign bit (assuming float numbers are encoded as IEEE), without any test.

Regards,

Damien