Fix missing gmpy.mpz