Subject: bug#30426: division inconsistency?

From: [email-masked]
Date: Wed, 14 Feb 2018 14:10:52 -0800

But if (* 0 x) is 0, you lose the notion that
(* exact inexact) is inexact.  So (* 0 +inf.0)
should be 0.0 or maybe +nan.0.  Similarly with
+nan.0, I suppose.