ZModPrime -> ZMod