implement NumericRules::negative