Preise im Format "1.234,90" addieren

[Baer]

Ich habe in einer Mysql-db preise in oben angeführter formatierung. die formatierung wurde immer strikt eingehalten.

wie kann ich solche werte addieren? muss ich eine funktion basteln, die den beistrich durch punkt ersetzt und den/die punkte rauslöscht?

oder soll ich mich mit den numeric types in mysql beschäftigen (kenn ich nur vom hörensagen...)?

oder ganz anders??

bin gespannt auf eure expertenmeinung!

<code>
<?php
  $var_1 = '1.234,56';
  $var_multipiziere = 2;

$my_real = (float) str_replace(',',  '.', str_replace('.', '', $var_1));
  $my_real = $my_real * $var_multipiziere;
  echo "engl.: $my_real \n";
  echo "deutsch: "  .  number_format($my_real,2,',','.')  . "\n";
?>
</code>