How to determine if characters of a python str are numerics?