Yes. `n` should always be an integer here. I've no doubt this same issue is the case in many other places as well. I would say to not use `is True` unless the tests specifically demonstrate the symbolic arguments are possible.