i32 < half(0.5)
