avete ragione voi

<?php
$a= "335,00";
$b= "3,35";
$c= $a+$b;
echo number_format("$c" , 2 , "," , "." );
?>

Risultato $c = 338,00

<?php
$a= "335,00";
$b= "3.35";
$c= $a+$b;
echo number_format("$c" , 2 , "," , "." );
?>

Risultato $c = 338,35