[Boost-users] segfault in std::num_put when using boost::format and a boost::uint32_t as an argument.