int(i / 1) <= i32
