{"categories":[],"packages":[],"usage":[{"description":"Use Zarith (dev-ml\/zarith) instead of Nums (dev-ml\/num) for computations","isdefault":false,"packageid":73747,"use":"zarith"},{"description":"Use Zarith (dev-ml\/zarith) instead of Nums (dev-ml\/num) for computations","isdefault":false,"packageid":68094,"use":"zarith"}],"use":{"description":"Use Zarith (dev-ml\/zarith) instead of Nums (dev-ml\/num) for computations","isdefault":false,"packageid":68094,"use":"zarith"}}