preconditions used in 'numeric' for basic operations: true if theoperation is permitted for the given valuesredefines numeric.prefix -!: