[boost] Re: Random Library