all(i32 .. 1, 0.5 < i32)
