Comment by Mond_

I'd say the binary not crashing would certainly be an improvement.

Even better if the type checker specifically highlights the fact that a value can be zero, and prevents compilation of code that doesn't specifically take this possibility into account.