C++: Convert integer to string