Grazie, in effetti c'è la funzione format_number...