[boost] Re: boost::random overflow bug