Adapted FloatArith.ML to SMLNJ 10.0.7
Adapted FloatArith.ML to SMLNJ 10.0.7

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle