0.5 / 0.5 >= i32
