removal of dependency on gmpxx