checking mpz_export return value properly