any reason for choosing 'bignum' instead of the more meaningful 'bigint'?