[Boost-users] bug in boost::random?