ADT.CritBit.BigNumTree: off by one error (removed) Due to an off-by-one error the last limb of bignums was never compared. This resulted (sometimes) in bignums comparing equal inside of the tree.