Not all values of a type need to be valid. The function is_valid returns whether the argument is valid.
#include <CGAL/utils.h>
Is_valid