Add post "Detecting Overflows in Java Arithmetic Operators".