## leda_real

### Definition

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>*

### Is Model for the Concepts

*FieldWithRootOf*

*RealEmbeddable*

*FromDoubleConstructible*

For more details on the number types of Leda we refer to the Leda manual [MNSU].