Added GMP operator overloading