Bug fix: (* 0 +inf.0) now returns NaN; previously it returned 0.
