diff --git a/Number_types/src/CGAL/MP_Float.cpp b/Number_types/src/CGAL/MP_Float.cpp
index 4c8511ef0d3..066305798ca 100644
--- a/Number_types/src/CGAL/MP_Float.cpp
+++ b/Number_types/src/CGAL/MP_Float.cpp
@@ -324,9 +324,7 @@ approximate_sqrt(const MP_Float &d)
   return MP_Float(CGAL_NTS sqrt(CGAL::to_double(d)));
 }
 
-namespace {
 // Returns (first * 2^second), an approximation of b.
-inline
 pair<double, int>
 to_double_exp(const MP_Float &b)
 {
@@ -352,7 +350,6 @@ to_double_exp(const MP_Float &b)
 }
 
 // Returns (first * 2^second), an interval surrounding b.
-inline
 pair<pair<double, double>, int>
 to_interval_exp(const MP_Float &b)
 {
@@ -396,8 +393,6 @@ to_interval_exp(const MP_Float &b)
   return std::make_pair(d.pair(), static_cast<int>(exp * log_limb));
 }
 
-}
-
 // to_double() returns, not the closest double, but a one bit error is allowed.
 // We guarantee : to_double(MP_Float(double d)) == d.
 double