i32 <= min(i)
