i32 > min(0.5)
