half(f32 / i32)
