public function subtract(BigInteger $y) { $value = gmp_sub($this->value, $y->value); return self::createFromGMPResource($value); }