On Wed, 2009-09-23 at 10:24 -0700, Ray Dillinger wrote: > Alternatively, 157 decimal digits ~= 240 bits
Ack. Sorry, hit "send" accidentally when I shifted to a
different app to *see* how many bits it was -- and find that
it's around 528 bits. And 1024-bit fixnums, while large, are
definitely not out of the question.
Bear
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
