Multi-modular arithmetic