0.5 / 1 < i32
