> +1. +%bignums really means "report an error when the numbers get > too big".
Okay, in the context in which you said it I can see what you mean, but this terminology is way counterintuitive. Intuitively, +%bignums should mean "there's no such thing as too big"! _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
