SymPy's `Integer` instead of Python's `int`