Section Header
    + name := FLOAT_MAP64;
    - comment := "Mapping for REAL_64.";
Section Inherit
    - parent_float_map:FLOAT_MAP :=
Section Mapping
    + map_64:UINTEGER_64;
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 :=