half(i64 / f64)
