minor fixes
Merge pull request #12 from UpLibs/dev-gmp-numerical-tools

minor fixes