No, `as_int` is a sympy function.