Usage
OrderedArithmeticType: Category
Description
OrderedArithmeticType is the category of ordered types with the standard arithmetic operations.
Exports
ArithmeticType TotallyOrderedType abs: % % norm sign: % MachineInteger sign