Modular arithmetic optimization
