In the docs for mpn_tdiv_qr there is the restriction that NN>=3DDN=20 is this correct? as it allows for the function to return a zero quotient , especially if {N,NN} is not normalized or do you mean {N,NN} >=3D {D,DN}=20