Numeric.Order.Additive

class AdditiveOrder r