added int_gt to the optimizations, to prove it works