The class leda_real is a wrapper class that provides the functions needed to use the number type real, representing exact real numbers numbers provided by Leda. The class leda_real provides exact computation over the subset of real numbers that contains integers, and which is closed by the operations +,-, × ,/,√ and kth_root. For Leda version 5.0 or later leda_real is also able to represent real roots of polynomials. Operations and comparisons between objects of this type are guaranteed to be exact.
#include <CGAL/leda_real.h>
For more details on the number types of Leda we refer to the Leda manual [MNSU].