Use the gmp API
Use the gmp API

Instead of using the data structure directly.

uuhan/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev