0以外の数という型を新設して(数学っぽく書けばint*とか)
それを分母に持ってくるようにキャストするよう強制すれば
一応は0除算防げるが、誰も得しない。
non-null型と似たような発想。non-null型は得するけど。