now works with GMP.