Properly calculate size of exported mpz_t