> value simply overflowed, nothing negative would have happened. Except overflow would most likely have caused a significantly more severe outcome than the unc

> value simply overflowed, nothing negative would have happened. Except overflow would most likely have caused a significantly more severe outcome than the uncaught exception. And there is a restriction in GNAT (No_Exception_Propagation) which forces you to deal with any exception immediately, and should be used in any critical software imho. https://docs.adacore.com/gnathie_ug-docs/html/gnathie_ug/gnathie_ug/about_this_guide.html https://docs.adacore.com/gnathie_ug-docs/html/gnathie_ug/gna...