def from_RealField(K1, a, K0):
        p, q = K0.to_rational(a)

        if q == 1:
            return PythonInteger(p)
Convert mpmath's ``mpf`` to Python's ``int``.
dataset/ETHPy150Open sympy/sympy/sympy/polys/domains/pythonintegerring.py/PythonIntegerRing.from_RealField