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