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