Section Header
  
  
    + name    := Expanded REAL -> REAL_32, REAL_64, REAL_80,
  REAL_16_16,  REAL_24_8,  REAL_26_6,
  UREAL_16_16, UREAL_24_8, UREAL_26_6;
    
  
    - comment := "Generic real number.";
  
  
    - type    := `float`;
  
    - default := 0.0;
Section Insert
  
  
    - parent_numeric:NUMERIC := 
  
Section Public
  
  
    - bound_test low:INTEGER_64 to up:UINTEGER_64 :BOOLEAN <-  
  
  
    - pi   :SELF <- 
  
    - atan :SELF <- 
  
    - sqrt :SELF <- 
  
    - log  :SELF <- 
  
    - sin  :SELF <- 
  
    - cos  :SELF <- 
  
    - pow exp:SELF :SELF <- 
  
    - '**' Right 120 exp:SELF :SELF <-
  
  
    - '^' Right 120 exp:SELF :SELF <- 
  
  
  
 Convertion format with test.
  
  
  
    - floor:INTEGER <-
  
         Greatest integral value no greater than Current.
    
  
    - ceiling:INTEGER <-
  
         Smallest integral value no smaller than Current.
    
  
    - rounded:INTEGER <-
  
         Rounded integral value.
    
  
    - truncated_to_integer:INTEGER <- 
  
         Integer part (largest absolute value no greater than Current).
  
  
  
 Comparaison.
  
  
  
    - '~=' other:SELF :BOOLEAN <-
    
  
    - is_not_a_number:BOOLEAN <- 
  
  
    - is_infinity:BOOLEAN <- 
  
  
  
 Print.
  
  
  
    - append_in buffer:STRING <-
    
  
    - append_in buffer:STRING format n:INTEGER decimal d:INTEGER <-
    
  
    - append_in buffer:STRING format n:INTEGER with c:CHARACTER decimal d:INTEGER <-
    
  
    - append_in buffer:STRING decimal n:INTEGER <-
    
  
    - scientific_append_in buffer:STRING <- 
    
  
    - append_in buffer:STRING format_c fmt:ABSTRACT_STRING <-
    
  
    - print_decimal s:INTEGER <-
    
  
    - print_int i:INTEGER decimal d:INTEGER <-
    
  
    - print_format s:INTEGER decimal d:INTEGER <-
  
  
    - print_format s:INTEGER with c:CHARACTER decimal d:INTEGER <-
    
  
    - print_format_c fmt:ABSTRACT_STRING <-