With a hypothesis strategy for int contents, the total sometimes overflows to negative values with int64.