Win32 build fix: include internal/numbers.h to get UIN32_MAX