Bear scripsit:

> If you get +inf.0 instead, that's still nonsense (because you multiplied
> something finite by something finite, mathematically you should have
> a finite result)

It's not nonsense, actually.  Inexact numbers can be interpreted as
intervals, and +inf.0 can then be identified with the open interval
(1.79769313486231570e+308, \infty).  So when you get +inf.0 from
multiplying two exact numbers, you are being told with 100% correctness
that the answer falls into that interval.

--
John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
When I'm stuck in something boring where reading would be impossible or
rude, I often set up math problems for myself and solve them as a way
to pass the time.      --John Jenkins

--
You received this message because you are subscribed to the Google Groups "scheme-reports-wg2" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scheme-reports-wg2+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.