Section Header
  
  
    + name    := SIGNED_FIXED_REAL;
    
  
    - comment := "Signed real number of fixed decimal part.";
  
Section Insert
  
  
    - parent_fixed_real:FIXED_REAL := 
  
Section Public
  
  
  
 Bound test
  
  
  
    - bound_test low:INTEGER_64 to up:UINTEGER_64 :BOOLEAN <-
    
  
  
 Around
  
    
  
    - object_size:INTEGER := 
  
    - 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).
  
  
  
 binary operator :
  
  
  
    - '-'  Left 80  other:SELF :SELF <- 
  
  
    - '*#' Left 100 other:INTEGER :SELF <- 
    
  
    - '*'  Left 100 other:SELF :SELF <- 
    
  
    - '/#' Left 100 other:INTEGER :SELF <- 
    
  
    - '/'  Left 100 other:SELF :SELF <- 
    
  
    - '&'  Left 100 other:SELF :SELF <-
    
  
    - '>>' Left 100 other:INTEGER :SELF <- 
    
  
    - '<<' Left 100 other:INTEGER :SELF <- 
    
  
  
 Test binary operator :
  
  
  
    - '>' Right 60 other:SELF :BOOLEAN <- 
    
  
  
 prefix : Unary operator
  
  
  
    - '~' :SELF <-