The function To_interval<NT> computes an enclosing interval of a number.
#include <CGAL/number_utils_classes.h>