| x | a rational |
| y | a rational |
| z | a rational |
| • | Modulus of fixnums always yields a fixnum. |
| • | Modulus of bignums always yields a bignum. |
| • | Modulus of rationals always yields a rational. In this case, the remainder is computed using the formula x - (x mod y) * y. |