added optimization for INT_GE