Order Floats where lower means greater

import Order


Order.with Float.Order.increasing 40.34 2.1
--> GT

Tag for increasing

Order Floats where higher means greater

import Order


Order.with Float.Order.decreasing 2.1 40.34
--> GT