0.5 <= array[i32]
