Cash payout only $800 mil or so; after taxes probably less than half a billion. How many countries have GNPs smaller than that? Not that you’d want to live in any of them, of course!
I’d settle for half a billion. What is the top scale of capital gains these days. I think you’d wind up with at least half, and perhaps as much as 67% or so.
I thought the ceiling on capital gains was around 32%, but not being involved with that issue myself, I could be way off.