half(f64 ^ i64)
