python 3 判断字符串是否为数字的方法