The class CORE::BigFloat is a variable precision floating-point type. Rounding mode and precision (i.e. mantissa length) of leda_bigfloat can be set. Since it also carries the error of a computed value, CORE::BigFloat can be considered as an interval type,
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.