[i32 <= 0.5]
