Mi servirebbe una mano. Il mio problema è questo:
devo riuscire a trovare un afunzione o qualcosa di simile che mi cambi il formato di un numero decimale che ho salvato in un database di mysql

Esempio:
valore del database: 1234.25
valora che voglio ottenere: 1.234,25

Sono stato abbastanza chiaro?

Grazie e ciao