[R6RS] division by exact zero (again, sorry)

[R. Kent Dybvig]

The current draft contains the example:

  (/ 0 0) => &assertion exception or +nan.0

At what point did we decide that this could produce +nan.0?  This seems
just plain wrong to me based on all arguments I've heard to date, even the
ones I haven't agreed with.  Can (/ 1 0) also evaluate to +inf.0?  Am I
wrong in thinking that division by zero is the only place where addition,
subtraction, multiplication, or division of two exact number can result in
an inexact number?

Kent