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