Bug 878444: in Range Analysis, give an empty range for |Infinity % x|; r=bhackett