rational = False , Default in Solvers. FixIssue#8515

(But the difference will be that currently some systems with floats hang whereas if rational=False is default then systems that don't solve should do so quickly. I suspect the latter would be nicer from a user's point of view(?).)