Yes, it does. And the result of that exception produces a signed infinity, unless the numerator was zero. Note that this is different than the language-level

Yes, it does. And the result of that exception produces a signed infinity, unless the numerator was zero. Note that this is different than the language-level Error construct that can be thrown and caught.