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