Real numbers

In the current ELKS standard some features of the REAL and DOUBLE classes have unsatisfiable contracts (e.g. floor and ceiling, see REAL_64 (issues)). In addition important features like is_nan or is_infinity are missing. Thus these classes have to be revised.

The revised interface descriptions will be developed here:

• REAL_32 (interface)
• REAL_64 (interface)