there should really be a "no, I don't give a damn about imaginary numbers" toggle for symbolic solvers