Заменить запятую на точку?
$a = str_replace(',','.',$a); //Меняем точку на запятую
$a = floatval($a); //удаляем все лишнее
Для форматирования чисел есть замечательная функция number_format().

https://www.php.net/manual/ru/function.number-form...