On Fri, 2002-05-17 at 12:39, Andrew Teal wrote: > I certainly don't think that <random> should be deprecated. Although > <shuffle> would be useful, I feel <random> has a place. I agree with that. I'm sure that random-with-replace has a place.