Originariamente inviato da bubu77
quindi o sono incappato nel bug malefico (sono specialista) ...
Non è così semplice trovare i bug nel PHP: entrambe le risposte sono corrette (perché in Italia i decimali si separano con la virgola). Probabilmente non imposti il locale e piglia quello di default del server. Metti questo all'inizio del tuo script:

Codice PHP:
setlocale(LC_ALL, 'C'); 
sperando che il locale 'C' (localizzazione generica) vada anche su server Windows...