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
cached: 02/08/2026 1:56:05.000 PM
In EiffelStudio 18.11 and earlier, comparison of real numbers could be controlled by the setting "Total Order on REALs".