Solve crash

[parisse]

proot can not do this kind of check, because the polynomial is expanded and therefore evaluation is very sensitive to loss of accuracy (cancellations). At some point (remember that we are talking of a polynomial of degree 61), the user is expected not to trust his calculator blindly.
As for the non CAS model, my understanding is that they do not solve like proot, they suceed in running an iterative method returning one root for a guess, like fsolve on the Prime.