Comment on integer overflow undefined behavior.