NOTE: the latest version is 11.2.0
Order Ints
Order
Int
Order Ints where lower means greater
Int.Order.increasing 40 2 --> GT
Order Ints where higher means greater
Int.Order.decreasing 2 40 --> GT
OrderInts where lower means greater