half(i64 / f32)
