half(i32 - f32)
