Remove gmp dependency and doc mentions