Fix fixnum comparisons to prove more bounds.