gmp 6.0.0a