i32 < max(0.5)
