i64 + half(f64)
