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 <-