NumOrder top-level property

Implementation

final Order<num> NumOrder = new ComparableOrder<num>();