Fixed times Integer

[Marc.Graham@SEI.CMU.EDU]

Section 4.5.5 allows multiplication of an object of any fixed point
type by an object of "the predefined type INTEGER" (Standard.Integer).
Consider the following:
------------
procedure junk is

    type blarb is delta 0.1 range 0.0 .. 32769.0;
    thing : blarb;
    
begin
    if thing * 32767 > thing * 32768 then
    	null;
    end if;
end junk;
----------
My Sun Alsys compliers complains in the following way:
------
        8     if thing * 32767 > thing * 32768 then
                                         <-1->     
  1    *EXP This value is outside the range of the target type.  NUMERIC_ERROR
           will be raised here at run time.
----

This complier will do 32-bit arithmetic, but Integer is 16 bits.

Questions: 1) Is the Alsys complier correct in its complaint? (I think
it is.) 

2) Is there an Ada commentary or such to the effect: "Of course, when
the manual *says* INTEGER it doesn't really *mean* INTEGER, ...."?