[i32 == 0.5]
