Work around the brokenness of Nat.div wrt 0