Consider making the FPA alternative of Alt-Ergo the default
A recent commit added the alternative FPA to Alt-Ergo, supporting dedicated reasoning on real numbers and floats.
It should be investigated if it could be made the default, in other words if the FPA does not prevent other proofs.