> if we receive both, than an exception occurred and should be handled
P(decimal ∩ DivideByZeroException) = 0 , therefore we only need 2 states, not 4.