perfetto ho sostituito

Codice PHP:
$dist = number_format($distvirg, 2,",","."); 
con round()

Codice PHP:
$dist = round($distvirg, 2); 
e messo il risultato di round() nel campo della tabella di tipo float, e adesso funziona alla perfezione

grazie mille per l'aiuto