±mantissa·T'Machine_Radixexponent
6 | S'Machine_Mantissa | Yields the largest value of p such that every value expressible in the canonical form (for the type T), having a p-digit mantissa and an exponent between T'Machine_Emin and T'Machine_Emax, is a machine number (see 3.5.7) of the type T. This attribute yields a value of the type universal_integer. |
7 | S'Machine_Emin | Yields the smallest (most negative) value of exponent such that every value expressible in the canonical form (for the type T), having a mantissa of T'Machine_Mantissa digits, is a machine number (see 3.5.7) of the type T. This attribute yields a value of the type universal_integer.
|
9 | S'Denorm | Yields the value True if every value expressible in the form
±mantissa·T'Machine_RadixT'Machine_Emin
|
12 | 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.
|
x
<T'Machine_Radixk.
24 | S'Compose | S'Compose denotes a function with the following specification:
|
v
T'Model_Small, the function yields v; otherwise, it yields either one of the machine numbers of the type T adjacent to v. Constraint_Error is optionally raised if v is outside the base range of S. A zero result has the sign of Fraction when S'Signed_Zeros is True.
64 | S'Model_Mantissa | If the Numerics Annex is not supported, this attribute yields an implementation defined value that is greater than or equal to ![]() ![]()
|
67 | S'Model_Small | Yields the value T'Machine_RadixT'Model_Emin-1. The value of this attribute is of the type universal_real. |