Re: [boost] [random] Any news?