echo str_replace(',','.',$valore1) + str_replace(',','.',$valore2);