python if string is integer