Document modular arithmetic.