fixed mpz_add_ui