Section Header
    + name := Expanded REAL -> REAL_32, REAL_64, REAL_80,
REAL_16_16, REAL_24_8, REAL_26_6,
UREAL_16_16, UREAL_24_8, UREAL_26_6;
    - comment := "Generic real number.";
    - type := `float`;
    - default := 0.0;
Section Insert
    - parent_numeric:NUMERIC :=
Section Public
    - bound_test low:INTEGER_64 to up:UINTEGER_64 :BOOLEAN <-
    - pi :SELF <-
    - atan :SELF <-
    - sqrt :SELF <-
    - log :SELF <-
    - sin :SELF <-
    - cos :SELF <-
    - pow exp:SELF :SELF <-
    - '**' Right 120 exp:SELF :SELF <-
    - '^' Right 120 exp:SELF :SELF <-
Convertion format with test.
    - 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).
Comparaison.
    - '~=' other:SELF :BOOLEAN <-
    - is_not_a_number:BOOLEAN <-
    - is_infinity:BOOLEAN <-
Print.
    - append_in buffer:STRING <-
    - append_in buffer:STRING format n:INTEGER decimal d:INTEGER <-
    - append_in buffer:STRING format n:INTEGER with c:CHARACTER decimal d:INTEGER <-
    - append_in buffer:STRING decimal n:INTEGER <-
    - scientific_append_in buffer:STRING <-
    - append_in buffer:STRING format_c fmt:ABSTRACT_STRING <-
    - print_decimal s:INTEGER <-
    - print_int i:INTEGER decimal d:INTEGER <-
    - print_format s:INTEGER decimal d:INTEGER <-
    - print_format s:INTEGER with c:CHARACTER decimal d:INTEGER <-
    - print_format_c fmt:ABSTRACT_STRING <-