Switch to mpz_class