i * half(f64)
