Add a flexibly-sized bigint type that grows as required, conforming to BinaryInteger.