ctbignum
ctbignum copied to clipboard
implement separation between fixed-size and expanding integers
...and bookkeep an upper bound of the bitsize in the type