Comment on My first verified imperative programparentComments−alternatex1yOverflow/underflow does happen in C# though. You have to manually opt-out by using a `checked` block anywhere you do arithmetic.
Comments
Overflow/underflow does happen in C# though. You have to manually opt-out by using a `checked` block anywhere you do arithmetic.