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        [email protected]
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

_______________________________________________
Scheme-reports mailing list
[email protected]
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports

Reply via email to