411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Denorm
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
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
S’Denorm return Boolean