def from_QQ_python(K1, a, K0):
        if a.denominator == 1:
            return a.numerator
Convert Python's ``Fraction`` to Python's ``int``.
dataset/ETHPy150Open sympy/sympy/sympy/polys/domains/pythonintegerring.py/PythonIntegerRing.from_QQ_python