nisse at lysator.liu.se (Niels Möller) writes: The interesting thing is that the next higher function, mpn_div_qr_1, should return the high quotient limb separately. I am not sure I agree. Please explain. You're saying that en n-limb consecutive dividend should yield an (n-1)-limb consecutive quotient plus a separate high quotient limb, right? -- Torbjörn