Cant you use the solution with the str() intrinsic?
str() does not use the locale and always produces a decimal point.
We have here "," as decimal separator, however quite often "." is needed in technical or scientific computing, for compatibility with international software or measuring instruments, therefore I know it.