Fast type-safe modular arithmetic
