half(f64 ^ i)
