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