Bug report - StringConcatenate rounds doubles to 4 decimals

The attached test script shows that StringConcatenate rounds decimals in a double
value to a maximum of 4.

Use DoubleToStr before concatenation.