Make DivDiff work, mess with Polynomial.