Missing mpz->long conversion