学习：python str.isdigit() 有浮点数的判断