half(i * f64)
