[[Property:modification_date|Wed, 24 Apr 2019 12:32:11 GMT]]
[[Property:publication_date|Wed, 24 Apr 2019 12:32:11 GMT]]
[[Property:uuid|996CC0DA-B3E9-4555-A121-BAB15C9BEC81]]
[[Property:weight|0]]
[[Property:title|VD81]]
In EiffelStudio [[/doc/uuid/4452B417-C538-49AF-960F-C3C2473A3AF8|18.11]] and earlier, comparison of real numbers could be controlled by the setting "Total Order on REALs".