Для UB плюсы есть. :) Лучше по дефолту транслировать как в дотнете, а остальное модификаторами вроде checked, nooverflow (UB), clamped, ... Так и будет когда-нибудь.
Я вот все думаю, какого черта все эти разговорчики про безопасность с защитой от NPE, mutable-immutable и пр. при том, что переполнение целых не фиксируется...