Hallo ursus,
number_format geht auch ohne locale.
Auf meinem PC muss ich als locale de-DE, nicht de_DE angeben, das ist unter Windows und Linux scheinbar unterschiedlich oder Du hast Dich vertippt. In der PHP Sandbox klappt setlocale weder mit de_DE noch de-DE, da scheint dieses locale gar nicht installiert.
Rolf
--
sumpsi - posui - clusi
sumpsi - posui - clusi