The
following representation-oriented attributes are defined for every
subtype S of a fixed point type T.
2
S'Machine_Radix
Yields the radix of the hardware
representation of the type T. The value of this attribute is of
the type universal_integer.
3
S'Machine_Rounds
Yields the value True if rounding
is performed on inexact results of every predefined operation that yields
a result of the type T; yields the value False otherwise. The
value of this attribute is of the predefined type Boolean.
4
S'Machine_Overflows
Yields the value True if overflow
and divide-by-zero are detected and reported by raising Constraint_Error
for every predefined operation that yields a result of the type T;
yields the value False otherwise. The value of this attribute is of the
predefined type Boolean.