Re: [PPL-devel] mpz_addmul_ui with ui = 1