Comment by munchler

But that's the true nature of division. Unless one can prove that the denominator is non-zero, then the computation is not well defined.

Practically speaking, languages like Haskell and F# have a monadic syntax that makes this considerably less ugly.