added a test for gmp library