Skip some expensive tests without GMP