I want str.isdigit, not str.isnumeric, which is Python 3 only