Coded up bigint division. Settled into a consistent full adder metaphor with plusCarry, minusCarry, timesCarry, and divMod.