/** * {@inheritdoc} */ public function divInteger(Integer $x) { $value = $this->divSpecialCases($x); if ($value !== null) { return $value; } return Real::fromNative($this->toNative() / $x->toNative()); }