Surely one of the lessons here is that the big push to have languages detect arithmetic overflow are largely moot unless you actually do something useful when i

Surely one of the lessons here is that the big push to have languages detect arithmetic overflow are largely moot unless you actually do something useful when it happens (because here's a case where yes they did detect it but ....)