add GNU GMP wrapper