exact-div-zeroArguably, division of exactly zero by a nonzero divisor is always
exactly zero, even if the divisor is inexact. The / procedure
in some Schemes returns an exact zero in this case, but in other Schemes it
returns an inexact zero.