i32 >= min(i32)
