small speedup in fmpz multiplicaation