ho risolto così...non chiedetemi perchè

$totale = str_replace(",",".",$a * $b);