Remove use of gmp extension
Merge pull request #5 from M6Web/do-not-use-gmp

Drop use of gmp extension