[r6rs-discuss] division by exact 0

[William D Clinger]

The specification of / says the divisor(s) "must not
be (exact) 0", but goes on to provide these examples:

    (/ 1.0 0)        =>  +inf.0
    (/ 0.0 0)        =>  +nan.0

Since these examples do not "illustrate the behavior
specified in the entry", they must be normative (see
R5.94RS section 5.3).  That renders the specification
unimplementable, which was probably not the intent of
the editors.

Will