The class CORE::BigInt provides exact computation in ℤ. Operations and comparisons between objects of this type are guaranteed to be exact. This number type is provided by the Core library [KLPY99].
Cgal defines the necessary functions so that this class complies to the requirements on number types.
#include <CGAL/CORE_BigInt.h>