An instance f of the data type BigFloat is a multi-precision floating point and is implemented using the LEDA type bigfloat . The type of f is BIGFLOAT.
BigFloat is a class derived from the base class Field_element and as such inherits various functions such as print() and type_of().