diff --git a/Number_types/include/CGAL/cpp_float.h b/Number_types/include/CGAL/cpp_float.h
index 102bf9ff2fd..0060c3a7e11 100644
--- a/Number_types/include/CGAL/cpp_float.h
+++ b/Number_types/include/CGAL/cpp_float.h
@@ -169,7 +169,7 @@ public:
     }
     // std::cout << "m = " << m << " * 2^" << exp  << std::endl;
     // fmt(m);
-    man = Mantissa(m);
+    man = std::move(m);
   }
 
   friend std::ostream& operator<<(std::ostream& os, const cpp_float& m)