fix 32-bit failure in padic_poly_derivative