need the gmpxx.h header tho