What is the type of `doubled`, and what does this reveal about branded types?declare const b: unique symbol; type USD = number & { [b]: "USD" }; function usd(n: number): USD { return n as USD; } const price = usd(10); const doubled = price * 2;