Yeah, I am glad you can coldy define it just that way
... because it discriminates between three qualitatively different cases: If the discriminant is zero, then there is a repeated solution x, and this solution is real. ...