add fmpr_get_fmpz, fmpr_get_si