Fix greater-than for integer variables