VASG Issue Number:      0187
Comment Author:         Clive Charlwood for Sivaram Nayudu
Comment Number:         01
Comment Date:           1991/03/22

1). LRM section 3.1.2.1 (page 3-5) states that:
        The range of INTEGER is host-dependent, but is guaranteed to include
        the range -2147483647 to +2147483647. It is defined with an ascending
        range.

        The range of INTEGER in a particular implementation may be determined
        from the 'LOW and 'HIGH attributes.

    Note INTEGER'LOW could be less than the guaranteed low and INTEGER'HIGH
    could be greater than the guaranteed high and they might not be equal.
    An implementation with the above conditions would conform to LRM
    specifications.

    It is possible that for some implementations, abs(INTEGER'LOW) is not
    equal to INTEGER'HIGH and -(INTEGER'LOW) could cause an overflow.


2). LRM section 3.1.4.1 (page 3-8) states that:
        The range of REAL is host-dependent, but is guaranteed to include the
        range -1E38 to +1E38. It is defined with an ascending range.

        The range of REAL in a particular implementation may be determined
        from the 'LOW and 'HIGH attributes.

    An implementation might choose -1E38 for REAL'LOW and +1E38 for REAL'HIGH
    but could be performing arithmetic with higher range for accurary, it is
    possible to use expressions like (REAL'LOW-1.0) and (REAL'HIGH+1.0) and
    not produce any error/warning from analyzer.

    This is due to the fact that the range of floating point types should be
    within the bounds of UNIVERAL REAL. The bounds of UNIVERAL REAL might
    exceed those of the predfined floating point type REAL.