How Big is a Bignum? | Hacker News Reader