1 <= 0.5 and i32 == 1
