type(f64 ^ 1)
