| x | a number |
| y | a number |
| z | a number |
| • | Division of fixnums may yield a ratio, or overflow and yield a bignum. |
| • | Division of bignums may yield a ratio. |
| • | Division of floats always yields a float. |
| • | Division of ratios and complex numbers proceeds using the relevant mathematical rules. |