Codice PHP:
echo number_format($prezzo2',''.');