0.5 / 0.5 >= min(i32)
