can we do something like `UINT_MAX / 2` instead of the hard-coded value here?