type(i64 ^ f64)
