御説ごもっともだけど、実際問題（意図しない）オーバフローによるバグが起こるようなコードって、
かなり奇特な分野のコードなんじゃないかとも思うけどね。