[wizzwizz4]

> but then you have to convince the compiler of the same.

In conventional parlance, this is known as "handling overflow".