Add section on boodt::mp

Number_types/doc/Number_types/NumberTypeSupport.txt

@@ -115,6 +115,15 @@ requirements.
 
 To use these classes, \gmp and \mpfr must be installed.
 
+
+\section Number_typesBoost Number Types Provided by boost
+
+\anchor boostnt
+
+Boost provides an arbitrary precision integer and rational number type.
+These number types can have \gmp as backend, but they can also be used
+with a native backend.
+
 \section Number_typesLEDA Number Types Provided by LEDA
 
 \anchor ledant

Number_types/doc/Number_types/PackageDescription.txt

@@ -15,6 +15,9 @@
 /// \defgroup nt_gmp GMP
 /// \ingroup PkgNumberTypesRef
 
+/// \defgroup nt_boost boost multiprecision
+/// \ingroup PkgNumberTypesRef
+
 /// \defgroup nt_cgal CGAL Number Types
 /// \ingroup PkgNumberTypesRef
 

Number_types/include/CGAL/Exact_integer.h

@@ -27,8 +27,7 @@ namespace CGAL {
 `Exact_integer` is an exact integer number type.
 
 It is a typedef of another number type. Its exact definition depends on
-the availability the third-party libraries \gmp, \core, and \leda. \cgal must
-be configured with at least one of those libraries.
+the availability the third-party libraries \gmp and \leda.
 
 \cgalModels{EuclideanRing,RealEmbeddable}
 

Number_types/include/CGAL/Exact_rational.h

@@ -27,8 +27,7 @@ namespace CGAL {
 `Exact_rational` is an exact rational number type, constructible from `double`.
 
 It is a typedef of another number type. Its exact definition depends on
-the availability the third-party libraries \gmp, \core, and \leda. \cgal must
-be configured with at least one of those libraries.
+the availability the third-party libraries \gmp and \leda.
 
 \cgalModels{Field,RealEmbeddable,Fraction,FromDoubleConstructible}