add tests for unsigned integer overflow