Section Header

    + name := UNSIGNED_FIXED_REAL;

    - comment := "Unsigned real number of fixed decimal part.";

Section Inherit

    - parent_fixed_real:FIXED_REAL :=

Section Public

Bound test


    - bound_test low:INTEGER_64 to up:UINTEGER_64 :BOOLEAN <-

Around


    - object_size:INTEGER :=

    - minimum:INTEGER_64 <-

    - floor:INTEGER <-
        Greatest integral value no greater than Current.

    - ceiling:INTEGER <-
        Smallest integral value no smaller than Current.

    - rounded:INTEGER <-
        Rounded integral value.

    - truncated_to_integer:INTEGER <-
        Integer part (largest absolute value no greater than Current).

binary operator :


    - '-' Left 80 other:SELF :SELF <-

    - '*#' Left 100 other:INTEGER :SELF <-

    - '*' Left 100 other:SELF :SELF <-

    - '/#' Left 100 other:INTEGER :SELF <-

    - '/' Left 100 other:SELF :SELF <-

    - '&' Left 100 other:SELF :SELF <-

    - '>>' Left 100 other:INTEGER :SELF <-

    - '<<' Left 100 other:INTEGER :SELF <-

Test binary operator :


    - '>' Right 60 other:SELF :BOOLEAN <-

prefix : Unary operator


    - '~' :SELF <-