Section Header
    + name := SIGNED_FIXED_REAL;
    - comment := "Signed real number of fixed decimal part.";
Section Insert
    - parent_fixed_real:FIXED_REAL :=
Section Public
Bound test
    - bound_test low:INTEGER_64 to up:UINTEGER_64 :BOOLEAN <-
Around
    - object_size:INTEGER :=
    - 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 <-