Marc Glisse <marc.glisse at inria.fr> writes: There are many places where the required size could be computed more tightly... It is not clear how to make it more tightly in the case of mpz_cdiv_q_2exp, though, without adding more logic. What other places do you have in mind? -- Torbjörn