I think that's correct, at least what I recall...900 million. That has always been something that's puzzled me about all his machinations - with that many shares, just go for a per-share distribution after costs. Seems that would be buckets of $$.
Register for free to join our community of investors and share your ideas. You will also get access to streaming quotes, interactive charts, trades, portfolio, live options flow and more tools.