Decimal separator from DOT to COMMA in an Ajax Currency Converter Wordpress plugin

I've an Ajax / jQuery Wordpress currency converter plugin that works fine. The only thing I want is to change is how the result of the conversion is rendered : now the decimal separator is a DOT (english number) I want the decimal separator to be a COMMA (european number). ex. if I convert 1 US dollar to Euro the result of the convertion now appears 1.2632 I want it to be 1,2632 The plugin works fine in wordpress 3.4.2 and previous versions, you can download it here [login to view URL] To install it uncompress on your pc, change the directory name (otherwise it doesn’t work) from currex to -> curreX before uploading it in the plugins directory. To use curreX with non-widget-enabled themes, you should insert the function in an appropriate place. for example you can use: