The class leda_bigfloat is a wrapper class that provides the functions needed to use the number type bigfloat, representing multiprecision floating point numbers provided by LEDA.
#include <CGAL/leda_bigfloat.h>
For more details on the number types of LEDA we refer to the LEDA manual [MNSU].