half(i64 ^ f64)
