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_Radix^{T'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