More tests for gmp and gmpxx