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, a

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.