Restore floating point rounding mode on Windows (fixes #45)

Author: chschulte

changelog.in

@@ -68,6 +68,14 @@ Date: 2019-??-??
 [DESCRIPTION]
 Let's see.
 
+[ENTRY]
+Module: float
+What:   bug
+Rank:   minor
+Thanks:	Kurt Van Den Branden
+[DESCRIPTION]
+Restore floating point rounding mode under Windows.
+
 [ENTRY]
 Module: kernel
 What:   change

gecode/float.hh

@@ -135,8 +135,8 @@ namespace Gecode { namespace Float {
    *
    */
   /// Rounding Base class (safe version)
-  typedef gecode_boost::numeric::interval_lib::rounded_arith_std<FloatNum>
-    RoundingBase;
+  typedef gecode_boost::numeric::interval_lib::save_state< gecode_boost::numeric::interval_lib::rounded_arith_std<FloatNum> >
+	RoundingBase;
 
 #else
 
@@ -1949,23 +1949,12 @@ namespace Gecode {
          FloatVarValPrint vvp=nullptr);
 
   /**
-   * \brief Assign all \a x with variable selection \a vars and value selection \a vals
-   *
-   * \ingroup TaskModelFloatBranch
-   */
-  GECODE_FLOAT_EXPORT void
-  assign(Home home, const FloatVarArgs& x,
-         FloatVarBranch vars, FloatAssign vals,
-         FloatBranchFilter bf=nullptr,
-         FloatVarValPrint vvp=nullptr);
-  /**
-   * \brief Assign all \a x with tie-breaking variable selection \a vars and value selection \a vals
+   * \brief Assign all \a x with value selection \a vals
    *
    * \ingroup TaskModelFloatBranch
    */
   GECODE_FLOAT_EXPORT void
-  assign(Home home, const FloatVarArgs& x,
-         TieBreak<FloatVarBranch> vars, FloatAssign vals,
+  assign(Home home, const FloatVarArgs& x, FloatAssign vals,
          FloatBranchFilter bf=nullptr,
          FloatVarValPrint vvp=nullptr);
   /**
@@ -1976,35 +1965,10 @@ namespace Gecode {
   GECODE_FLOAT_EXPORT void
   assign(Home home, FloatVar x, FloatAssign vals,
          FloatVarValPrint vvp=nullptr);
+  //@}
 
 }
 
-namespace Gecode {
-
-  /**
-   * \brief Branch over \a x with value selection \a vals
-   *
-   * \ingroup TaskModelFloatBranch
-   */
-  void
-  branch(Home home, const FloatVarArgs& x, FloatValBranch vals,
-         FloatBranchFilter bf=nullptr,
-         FloatVarValPrint vvp=nullptr);
-
-  /**
-   * \brief Assign all \a x with value selection \a vals
-   *
-   * \ingroup TaskModelFloatBranch
-   */
-  void
-  assign(Home home, const FloatVarArgs& x, FloatAssign vals,
-         FloatBranchFilter bf=nullptr,
-         FloatVarValPrint vvp=nullptr);
-
-}
-
-#include <gecode/float/branch.hpp>
-
 namespace Gecode {
 
   /*