RE: [boost] Question about Boost.Random