def from_ZZ_gmpy(K1, a, K0):
        return PythonInteger(a)
Convert GMPY's ``mpz`` to Python's ``int``.
dataset/ETHPy150Open sympy/sympy/sympy/polys/domains/pythonintegerring.py/PythonIntegerRing.from_ZZ_gmpy