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

[Anonymous]

У меня есть список цен с запятой за десятичную точку и точку в качестве тысячи разделителя. < /p>
Некоторые примеры: < /p>
12,30

116,10

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

Подробнее здесь: https://stackoverflow.com/questions/432 ... t-to-float