additional tests for uint64 overflows