Solving quadratic symbolically should give integer discriminant