Ada Programming/Attributes/'Denorm
Description
[edit | edit source]True if every value is expressible in canonical form with an an expo-nent of T’Machine_Emin.
Yields the value True if every value expressible in the form
± mantissa · T'Machine_RadixT'Machine_Emin
where mantissa is a nonzero T'Machine_Mantissa-digit fraction in the number base T'Machine_Radix, the first digit of which is zero, is a machine number (see 3.5.7) of the type T; yields the value False otherwise.
The value of this attribute is of the predefined type Boolean.
Example
[edit | edit source]S’Denorm return Boolean