The 12.9 billion comes from WMI's original issuance of common stock. Nothing more, nothing less. Any accountant, or anyone with any financial management experience will tell you the same thing.
That figure does not, in any way, suggest or indicate the current value of the shares, and this would be the case whether we were talking about WMI or Racerviews, Inc.
If you have any further questions regarding the accounting of the issuance of WMI stock and/or how such stock is/was accounted for on WMI's books, then I am more than certain that I, or "qualified" posters on this board will be able to give you REAL, FAIR, and HONEST answers regarding the significance of the #s that appear on WMI's MORs and 8-Ks, specifically the #s that appear next to common stock, preferred stock, and shareholder's equity of WMI's balance sheet.