Added cast to flint_mpz_get_si.