Implement true euclid modulus as mathMod