判断是否为数字$aa="00010123.90";echo is_numeric($aa);使用这个函数好像判断不出这种数字字符串，有没有其他的函数可以判断出像这种的变量是否是数字还是文本的，前面有0的认为是文本的，而不是数字的[解决办法]
