infix fun Int.exactAdd(b: Int): Int
Like the + operator but throws ArithmeticException in case of integer overflow.