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 <-