Re: [boost] [random] ranlux24_base(0) should be equal to ranlux24_base()