fpprec:99;printf(?t,"~h",rhs(realroots(x^3=x+1,1e-99)[1]));