670bcf5
There was an error while loading. Please reload this page.
This adds `total_cmp`, for doing the IEEE754 `totalOrder` predicate.