Properly align exported mpz_ts with leading zeros