-1 >= i32
