From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 21 Nov 2019 03:51:55 +0000 (-0400)
Subject: Merge pull request #226 from malbarbo/num
X-Git-Tag: v0.8.118~38^2~11^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3277ecd13d78ca3c3e49dce51aeeb540247fb601;p=scryer-prolog.git

Merge pull request #226 from malbarbo/num

Add feature num to use num crate in place of rug.
---

3277ecd13d78ca3c3e49dce51aeeb540247fb601