Fixed a bug and use flint's div_series.