php 去掉小数末尾的0

需求：

例如：25.00 想显示为 25；但25.50要显示为25.5

解决：

百度大多数解决方案都是用正则替换完成的。个人觉得，一是类型不对，需要转换类型；二是有杀鸡用牛刀之嫌

答案：

使用 floatval(var) 即可