Simplifying the translation rule of the modulo operator.