Commit f86aecf356beb36589d09bf309e313edd7febd66

karel-m 2018-06-04T07:02:53

Merge pull request #116 from libtom/pr/better-MP_64BIT improved detection of MP_64BIT