Remove a bad mpz_sub_ui().