From 1d285cc27ba7619e159d11dedd1019f5744e31c2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Fri, 4 Feb 2022 13:54:11 +0100
Subject: [PATCH] add preconditions on intv

---
 Number_types/include/CGAL/boost_mp.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Number_types/include/CGAL/boost_mp.h b/Number_types/include/CGAL/boost_mp.h
index 8159fd68d62..1c2506d1619 100644
--- a/Number_types/include/CGAL/boost_mp.h
+++ b/Number_types/include/CGAL/boost_mp.h
@@ -143,6 +143,7 @@ struct Algebraic_structure_traits<boost::multiprecision::detail::expression<T1,T
 
 namespace Boost_MP_internal {
 
+  // here we know that `intv` contains int64 numbers such that their msb is std::numeric_limits<double>::digits-1
   inline
   Interval_nt<false> shift_positive_interval( const Interval_nt<false>& intv, const int e ) {
     CGAL_assertion(intv.inf() > 0.0);