modify Mul.is_infinite to watch for NaN

I don't know if this is actually necessary but it seems innocuous regardless.