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

[解决办法]