(mpx_udiv): Fix bug in quotient digit estimation.