Without the change the build fails on gcc-12 as:
/build/source/include/CGAL/CORE/BigFloatRep.h:437:10:
error: use of deleted function 'std::...::basic_string(std::nullptr_t)
[with _CharT = char; ...; std::nullptr_t = std::nullptr_t]'
437 | return NULL;
| ^~~~