half(i32 / f32)
