> If anyone wanted to contribute a binding to libgmp that we can place > in the extras directory that would be okay with me *hint hint*. I created a pull request for the inclusion of libtommath. Please review. https://github.com/Mercury-Language/mercury/pull/24 Matthias