`exact-times-zero`

Arguably, multiplication by exactly zero is always exactly zero, even if
the other factors are inexact. The `*`

procedure in some Schemes
returns an exact zero in this case, but in other Schemes it returns an
inexact zero.