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