number_format不会在不同的服务器上返回相同的内容

Question

我尝试在开发服务器和生产服务器的php控制台上运行以下代码，并在两个控制台上获得预期的（“10.01”）结果。

var_dump(number_format('10.005',2,'.',''));
string(5) "10.01"

但是当我执行在生产服务器上使用number_format调用的应用程序代码时，我得到“10.00”，当在开发服务器上时，我得到“10.01”。

这是我的问题，当两个服务器使用相同的代码和数据库时，可能会影响结果（相同的mysqldump和svn版本）。

服务器信息：

开发服务器：Os：Ubuntu 10.04，处理器：Intel Core 2 Duo P8600@2.4GHz
生产服务器：Os：CentOS版本5.3，处理器：Intel（R）Xeon（TM）CPU 3.00GHz

Answer 1

从收到的评论中，我必须得出结论，错误是服务器端。 64位与32位。 在有人提供其他反馈之前，我没有看到任何其他解释。