From 717947c5903e3721df8e7dff99c5f7993cf61b9e Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Mon, 5 Jul 1999 14:12:49 +0000
Subject: [PATCH] - New function: force_ieee_double_precision().

---
 Packages/Interval_arithmetic/src/Interval_arithmetic.C | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Packages/Interval_arithmetic/src/Interval_arithmetic.C b/Packages/Interval_arithmetic/src/Interval_arithmetic.C
index 4aa77e901ef..afd14fc5232 100644
--- a/Packages/Interval_arithmetic/src/Interval_arithmetic.C
+++ b/Packages/Interval_arithmetic/src/Interval_arithmetic.C
@@ -42,4 +42,11 @@ operator>> (std::istream & is, Interval_nt_advanced & I)
     return is;
 }
 
+void force_ieee_double_precision()
+{
+#ifdef __i386__
+    FPU_set_cw(FPU_cw_near);
+#endif // __i386__
+}
+
 CGAL_END_NAMESPACE