> +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"!