title: Converting a number with comma as decimal point to float
body: <p>I have a list of prices with a comma for a decimal point and a dot as the thousand separator. </p>
  
  <p>Some examples:</p>
  
  <p><strong>12,30<br>
  116,10<br>
  1.563,14</strong></p>
  
  <p>These come in this format from a third party. I want to convert them to floats and add them together.</p>
  
  <p>What is the best way to do this? <strong>number_format</strong> doesn't seem to work with this format, and <strong>str_replace</strong> seems like overkill, as I have to do it more that once on each number.</p>
  
  <p>Is there are better way? Thanks.</p>