number_format不會在不同服務器上返回相同的結果

Question

我試圖在開發服務器和生產服務器的php控制檯上運行以下代碼，並在兩個控制檯上都獲得了預期的（「10.01」）結果。

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

但是，當我執行使用的number_format調用生產服務器上的應用程序代碼中，我得到了「10.00」，當開發服務器上，我得到了「10.01」。

這是我的問題，當兩個服務器使用相同的代碼和數據庫（Same mysqldump和svn revision）時，會有什麼影響結果。

服務器信息：

發展服務器：操作系統：Ubuntu的10.04，處理器：英特爾Core 2 Duo P8600@2.4GHz
生產服務器：操作系統：CentOS版本5.3，處理器：英特爾（R）至強（ TM）CPU 3.00GHz

Answer 1

從收到的評論中，我必須得出結論，錯誤是服務器端。 64位與32位。 我沒有看到其他解釋，直到有人能夠提供其他反饋。