In the current ELKS standard some features of the REAL and DOUBLE classes have unsatisfiable contracts (e.g. floor and ceiling). 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: