[Boost-users] Fastest way of serializing a huge vector of ints into a human readable string