The variable default_random is the default random numbers generator used for the generator functions and classes.
#include <CGAL/Random.h>