add fmpz_get_mpfr
add is_reduced_mpfr*, docs