half(f64 / i64)
