modify Mul.is_infinite to watch for NaN

modify the limit routine to watch for any infinite arg