The class CORE::BigRat 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_BigRat.h>