From e9013df2ff2cff6e7724917aa688780e270ab97a Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Wed, 28 Mar 2007 11:10:09 +0000
Subject: [PATCH] added CGAL::Needs_parens_as_product<Gmpz>

---
 Number_types/include/CGAL/Gmpz.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Number_types/include/CGAL/Gmpz.h b/Number_types/include/CGAL/Gmpz.h
index c646998c852..3d5fc768357 100644
--- a/Number_types/include/CGAL/Gmpz.h
+++ b/Number_types/include/CGAL/Gmpz.h
@@ -183,6 +183,16 @@ public:
     };
 };
 
+//
+// Needs_parens_as_product
+//
+template <> 
+struct Needs_parens_as_product<Gmpz> {
+  bool operator()(const Gmpz& x) {
+    return CGAL_NTS is_negative(x);
+  } 
+};
+
 CGAL_END_NAMESPACE
 
 #if defined(BOOST_MSVC)