[v3] Some more work on <random>

[Paolo Carlini]

Hi,

tested x86_64-linux multilib, committed.

Paolo.

///////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_random_2
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20090611/f2d9d39a/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_random_2
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20090611/f2d9d39a/attachment-0001.ksh>