Universal float or not - who's right ?

[Gautier <gautier@fakeaddress.nil>]

Hullo - here is a nice case, with a trivial workaround given first, where 3 
compiler differs. Question to the Ada RM exegetes: who is right ?

package FF is
   type FFloat is new Float;
end;
with FF;

procedure Beauripple is

   generic
     type Num is digits <>;
     x  : Num;
   package P is end;

   c: constant:= 2.0**4;
   package FPc is new P(FF.FFLoat,c);
   -- Passes on compilers A,B,C - as expected

   d: constant FF.FFLoat:= 2.0**4;
   -- Fails on compiler A,B,C
   -- "**" is not visible, an "use FF;" is missing

   package FPe is new P(FF.FFLoat,2.0**4);
   -- ** A,B,C differ:
   -- Passes on C: (2.0**4) probably taken as universal float
   -- Fails on compiler A,B: same reason as for constant d

begin
   null;
end;
______________________________________________________________
Gautier         -- http://www.mysunrise.ch/users/gdm/index.htm
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!