Codice PHP:
$mionumero=10;
$nuovonumero=number_format($mionumero,2,'.','');