ModularArith module, for computing in Z/nZ