Section Header
  
  
    + name    := Expanded UINTEGER_64 -> INTEGER;
  
    - comment :="Unsigned 64 bits integer.";
  
    - type    := `unsigned long long`;
  
    - default := (0.to_raw_uinteger_64);
  
Section Insert
  
  
    - parent_unsigned_integer:UNSIGNED_INTEGER := 
  
Section Public
  
  
    - object_size:INTEGER := 
  
  
 Range.
  
  
  
    - maximum:UINTEGER_64 :=  
        BSBS pb C 0FFFFFFFFFFFFFFFFh; 
  
  
  
 Conversion with test.
  
  
  
    - to_uinteger_64:UINTEGER_64   <-