How Big is a Bignum? - Pat Shaughnessy