Implement and Use Round-Trip Double to String Converter
Currently, we use whatever is provided by the system to convert double to char. However, this is not good for reproducibility. We should use a round-trippable algorithm to convert to double and back.