type(f64 ^ f64)
