Right... so shouldn't anything up to `UINT32_MAX` (not `INT32_MAX`) be valid?