C++ streams and Formatting manipulators