i64 / half(f64)
