playing with mpz_mod usage