bignum_plus
bignum x2 = bignum_plus(x, x);
bignum x4 = bignum_plus(x2, x2);
bignum x8 = bignum_plus(x4, x4);
return bignum_plus(x2, x8);
bignum_ge_u(bignum_plus(num, num), /* rtn */