GMP overloading support for %%