Replace `num` library by `zarith`
This MR replaces the usage of num
as a big integer library by zarith
. It also adds a new test that checks big int manipulation in CDuce.
Related issue: !26 (merged).
This MR replaces the usage of num
as a big integer library by zarith
. It also adds a new test that checks big int manipulation in CDuce.
Related issue: !26 (merged).