Required operations for a supported arithmetic format (including the basic formats) include: .
The standard provides a predicate totalOrder which defines a total ordering for all floating numbers for each format.