Bug 943303 - IonMonkey: Convert floating-point comparisons to integer using range analysis. r=nbp