Section Header
    + name := UNSIGNED_INTEGER;
    - comment := "Generic Unsigned Integer.";
Section Insert
    - parent_integer:INTEGER :=
Section Public
Range
    - minimum:INTEGER_64 :=
Function :
    - sign:INTEGER <-
        Sign of Current (0 -1 or 1).
    - abs:SELF <-
        Absolute value of `self'.
Convertion
    - append_in buffer:STRING <-
        Append in the `buffer' the equivalent of `to_string'. No new STRING
        creation during the process.
    - print <-
    - to_octal:SELF <-
        Gives coresponding octal value.
Hashing:
    - hash_code:INTEGER <-
Looping
    - downto limit_down:SELF do blc:BLOCK <-
Bound test
    - bound_test low:INTEGER_64 to up:UINTEGER_64 :BOOLEAN <-