implement NumericRules::positive