Tag modular arithmetic