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

R. Kent Dybvig dyb at cs.indiana.edu
Mon Mar 5 22:07:10 EST 2007

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?


More information about the R6RS mailing list