Make conversion to mpz_class explicit