mi rispondo da solo usando il comando round:

codice:
$num=7.0;
echo round($num,1);
il risultato sarà 7


codice:
$num=6.5;
echo round($num,1);
il risultato sarà 6.5