Lisaac prototype interface

Section Header
+ name := FLOAT_MAP;
- comment := "Mapping for REAL_xx.";
Section PRIVATE
- deferred <-
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 <-
Consultation.
- is_infinite:BOOLEAN <-
- is_nan:BOOLEAN <-
- is_zero:BOOLEAN <-
Section Public
Format.
- mantissa_bits:INTEGER_8 <-
- exponent_bits:INTEGER_8 <-