Section Header

    + name := FLOAT_MAP80;

    - comment := "Mapping for REAL_80.";

Section Inherit

    - parent_float_map:FLOAT_MAP :=

Section Mapping

    + exp_16:UINTEGER_16;

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