Codice PHP:
echo number_format($numero,2,'.','');
// oppure
echo sprintf("%01.2f"$numero);