@EricPostpischil Is not "... the value stored in *quo: It is congruent modulo 2^n to the quotient, ..." more like "... the value stored in *quo: It's magnitude is congruent modulo 2^n to the quotient ...", or are negative values -x considered just as congruent as +x?