half(i64 + f64)
