| @@ 212-220 (lines=9) @@ | ||
| 209 | /** |
|
| 210 | * {@inheritdoc} |
|
| 211 | */ |
|
| 212 | public function divInteger(Integer $x) |
|
| 213 | { |
|
| 214 | $value = $this->divSpecialCases($x); |
|
| 215 | if ($value !== null) { |
|
| 216 | return $value; |
|
| 217 | } |
|
| 218 | ||
| 219 | return Real::fromNative($this->toNative() / $x->toNative()); |
|
| 220 | } |
|
| 221 | ||
| 222 | /** |
|
| 223 | * {@inheritdoc} |
|
| @@ 226-234 (lines=9) @@ | ||
| 223 | /** |
|
| 224 | * {@inheritdoc} |
|
| 225 | */ |
|
| 226 | public function divReal(Real $x) |
|
| 227 | { |
|
| 228 | $value = $this->divSpecialCases($x); |
|
| 229 | if ($value !== null) { |
|
| 230 | return $value; |
|
| 231 | } |
|
| 232 | ||
| 233 | return new self($this->toNative() / $x->toNative()); |
|
| 234 | } |
|
| 235 | ||
| 236 | /** |
|
| 237 | * {@inheritdoc} |
|