type BigInt
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
4# A magnitude is a list of base-10^4 limbs in U32, least significant first,
5# with no zero limb on top. Base 10^4 keeps every limb product and its carries
6# below 2^32, and makes decimal show and read linear. Zero is never negative.
7type BigInt is Data:
8 BigInt{neg: Bool, mag: List<&2, U32>}