Преобразование числа с запятой в качестве десятичной точки в число с плавающей запятой

У меня есть список цен с запятой для десятичной точки и точкой в ​​качестве разделителя тысяч.

Некоторые примеры:

12,30
116,10
1.563,14

Они поступают в этом формате от третьей стороны. Я хочу преобразовать их в числа с плавающей запятой и сложить их вместе.

Как лучше всего это сделать? number_format , похоже, не работает с этим форматом, а str_replace кажется излишним, поскольку мне приходится делать это чаще, чем один раз для каждого числа.

Есть ли лучший способ ? Спасибо.