Version
VD81
In EiffelStudio 18.11 and earlier, comparison of real numbers could be controlled by the setting "Total Order on REALs".
Back to Legacy code
In EiffelStudio 18.11 and earlier, comparison of real numbers could be controlled by the setting "Total Order on REALs".