From d4a5003a2c33e400bdd8de60a356d9cd8e423c3e Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Sun, 6 Jan 2019 09:55:20 +0100
Subject: [PATCH] Reimplement comparison

we had a cycle of > calling < calling > etc
---
 Number_types/include/CGAL/Interval_nt.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Number_types/include/CGAL/Interval_nt.h b/Number_types/include/CGAL/Interval_nt.h
index 9ee3b7da119..f4e55157fdb 100644
--- a/Number_types/include/CGAL/Interval_nt.h
+++ b/Number_types/include/CGAL/Interval_nt.h
@@ -406,7 +406,9 @@ inline
 Uncertain<bool>
 operator<(const Interval_nt<Protected> &a, double b)
 {
-  return b > a;
+  if (a.sup() <  b) return true;
+  if (a.inf() >= b) return false;
+  return Uncertain<bool>::indeterminate();
 }
 
 template <bool Protected>