rational = False , Default in Solvers. FixIssue#8515

That's just *wrong*.