Section Header
  
  
    + name    := SIGNED_INTEGER;
  
  
    - comment := "Generic Signed Integer.";
  
Section Insert
  
  
    - parent_integer:INTEGER := 
  
Section Public
    
  
    - append_in buffer:STRING <-
  
         Append in the `buffer' the equivalent of `to_string'. No new STRING
  
         creation during the process.
    
  
    - to_octal:SELF <-
  
         Gives coresponding octal value.
    
  
  
 Hashing:
  
  
  
    - hash_code:INTEGER <-
    
  
  
 Bound test
  
  
  
    - bound_test low:INTEGER_64 to up:UINTEGER_64 :BOOLEAN <-