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