Fix fallout of numeric reform
Fix `is_zero()`/`num::zero()` deprecation warnings
Merge pull request #36 from japaric/fix-num

Fix fallout of numeric reform