> Division by zero is not a runtime error — it is a type error.

Uh, help me out here, which kind of type error? You have a separate nonzero integer static type required for the denominator of the division operator?