half(f32 + i32)
