Lisaac prototype interface

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