These securities are marked to market, which means you can sell them for roughly that value over a reasonable amount of time. There's also 134B of non-current m

These securities are marked to market, which means you can sell them for roughly that value over a reasonable amount of time. There's also 134B of non-current marketable securities based on the statements you cited, which brings the total to around $200B. The equivalence standard you used is the accounting standard, which means you can get the exact amount in cash overnight if you so desire. It's too strict when considering what financial resources you have in making long term capital investments.