Some more simple examples for gmp, mpfr