The class leda_rational provides exact computation in ℝ. The class leda_rational is a wrapper class that provides the functions needed to use the number type rational, representing exact multiprecision rational numbers provided by LEDA.
#include <CGAL/leda_rational.h>
For more details on the number types of Leda we refer to the Leda manual [MNSU].