[boost] Question about Boost.Random