In division, handle a putative next quotient digit of DIGITMASK+1 correctly.