python determine if string is an integer