The function To_double<NT> computes an approximation of a number.
#include <CGAL/number_utils_classes.h>