python3小技巧之：如何判断字符串是数字