from sympy.core.numbers import Integer, Rational

PythonRational = ...

def sympify_pythonrational(arg) -> Rational | Integer: ...