Java promises that Integer.MAX_VALUE + 1 always equals Integer.MIN_VALUE. That promise is exactly what let a bug hide inside the…