Yields the number of digits in the mantissa of the canonical form of the model numbers of T, See section A.5.3 Attributes of Floating Point Types. The value of this attribute shall be greater than or equal to Ceiling(d*log (10)/log (T'Machine_Radix))+1, where d is the requested decimal precision of T. In addition, it shall be less than or equal to the value of T'Machine_Mantissa. This attribute yields a value of the type universal_integer.
Yields the minimum exponent of the canonical form of the model numbers of T, See section A.5.3 Attributes of Floating Point Types. The value of this attribute shall be greater than or equal to the value of T'Machine_Emin. This attribute yields a value of the type universal_integer.
Yields the lower bound of the safe range of T. The value of this attribute shall be a model number of T and greater than or equal to the lower bound of the base range of T. In addition, if T is declared by a floating_point_definition or is derived from such a type, and the floating_point_definition includes a real_range_specification specifying a lower bound of lb, then the value of this attribute shall be less than or equal to lb; otherwise, it shall be less than or equal to -10.0 ** (4*d), where d is the requested decimal precision of T. This attribute yields a value of the type universal_real.
Yields the upper bound of the safe range of T. The value of this attribute shall be a model number of T and less than or equal to the upper bound of the base range of T. In addition, if T is declared by a floating_point_definition or is derived from such a type, and the floating_point_definition includes a real_range_specification specifying an upper bound of ub, then the value of this attribute shall be greater than or equal to ub; otherwise, it shall be greater than or equal to 10.0 ** (4*d), where d is the requested decimal precision of T. This attribute yields a value of the type universal_real.
Denotes a function (of a parameter X) whose specification is given in See section A.5.3 Attributes of Floating Point Types. If X is a model number of T, the function yields X; otherwise, it yields the value obtained by rounding or truncating X to either one of the adjacent model numbers of T. Constraint_Error is raised if the resulting model number is outside the safe range of S. A zero result has the sign of X when S'Signed_Zeros is True.
Go to the first, previous, next, last section, table of contents.