How to change FDMEE export format concerning decimal separator

Hi all,

We have currently following problem: when exporting the data to HFM, FDMee formats the decimal delimiter as comma. Data goes to HFM without problems but as a nonsense while decimal delimiter is ignored, meaning for example that 123.456 turns out as 123456 in HFM.

I suppose the source for this problem was that while the FDMee was installed and configured the server had still our national region settings on (where comma is decimal delimiter). I changed the settings to US English and booted the system but the problem still stays.  I guess that this can be handled somewhere in the configuration but maybe it is possible to change directly? I didn't find any answers to this problem at least from admin manual.