python if string is int