risolto!

$num=number_format($num, 0, ",", ".");