Section Header
    + name := Expanded INTEGER_64 -> INTEGER;
    - comment := "Signed 64 bits integer.";
    - type := `signed long long`;
    - default := (0.to_raw_integer_64);
Section Insert
    - parent_signed_integer:SIGNED_INTEGER :=
Section Public
    - object_size:INTEGER :=
    - '-' :SELF <-
Range
    - maximum:UINTEGER_64 <-
        Bug C 07FFFFFFFFFFFFFFFh;
    - minimum:INTEGER_64 <-
Conversion with test.
    - to_integer_64:INTEGER_64 <-