added precision test case for gmp