implement and document fmpz_factorxx