Change the default values and standard configuration files
to use the new option of replacing floats with rationals,
instead of disabling floats completely if we do not want to use them.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14530 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c