use fmpz instead of int