3.85 billion is actually closer to a "penny" for Microsoft.