Use the new numeric_limits::max_digits10 in random

[3dw4rd@verizon.net]

Greetings,

This patch uses the new numeric_limits::max_digits10 (once it's in) for its intended purpose in random serialization.

Floating point numbers in distributions must be accurately serialized and deserialized.

Thanks,

Ed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: CL_random
Type: application/octet-stream
Size: 159 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20100225/5a3a88c4/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch_random
Type: application/octet-stream
Size: 7103 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20100225/5a3a88c4/attachment-0001.obj>