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:
See also Not_a_Number