Choice 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.

(exact? (* 0 2.8))