Properly fix that aggressive loop opt bug.

That kind of overflow is undefined behaviour no matter what you do with it.