faster random number engine

[Ulrich Drepper]

On Wed, Aug 29, 2012 at 11:43 AM, Paolo Carlini <paolo.carlini@oracle.com> wro
> The substance isn't of course. But normally we don't have __gnu_cxx things
> in the same std header. Can't we have a new ext/random and put it in there?
> If we can separate the new code to it, I think people would not even object
> to the target dependency, etc. In ext/ we are quite free to do extension /
> experimental work.

OK, I moved the definition to ext.  Will check in the result.