Question: C++: what is the optimal way to convert a double to a string?