redefines integer.infix %:division remainderredefines numeric.infix %:basic operations: 'infix %' (division remainder)