Add gmp support