exnDivByZero
exn
exnNoDivision
Exception
exnNoSqrt
exnNoSubtraction
exnSqrtOfNegative
exnUnreachable
InvalidOperationException