Revert a change in mpz_order