Section Header
    + name := FLOAT_MAP32;
    - comment := "Mapping for REAL_32.";
Section Inherit
    - parent_float_map:FLOAT_MAP :=
Section Mapping
    + map_32:UINTEGER_32;
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 <-
Section Public
Format.
    - mantissa_bits:INTEGER_8 :=
    - exponent_bits:INTEGER_8 :=