

@staticmethod
def _number(expr, assumptions):
    try:
        i = int(expr.round())
        if (not (expr - i).equals(0)):
            raise TypeError
        return True
    except TypeError:
        return False

dataset/ETHPy150Open sympy/sympy/sympy/assumptions/handlers/sets.py AskIntegerHandler._number/original