The use of the likes of UINT32_MAX requires internal/numbers.h