Ada Programming/Attributes/'Denorm

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.