Section Header

    + name := FLOAT_MAP;

    - comment := "Mapping for REAL_xx.";

Section PRIVATE

    - deferred <-

Section REAL, REAL_32, REAL_64, REAL_80

    - get_map f:SELF <-

    - sign:BOOLEAN <-
        TRUE if positif, FALSE else.

    - exponent:UINTEGER_32 <-

    - mantissa:UINTEGER_64 <-

Consultation.


    - is_infinite:BOOLEAN <-

    - is_nan:BOOLEAN <-

    - is_zero:BOOLEAN <-

Section Public

Format.


    - mantissa_bits:INTEGER_8 <-

    - exponent_bits:INTEGER_8 <-