VD81

In EiffelStudio 18.11 and earlier, comparison of real numbers could be controlled by the setting "Total Order on REALs".

cached: 04/10/2021 12:37:49.000 PM