[Boost-users] Simple question about boost::random