add fmpcb_poly_integral