With more than $13 billion in revenue each, these companies are all ranked higher in this year’s Fortune 500 than consumer tech companies (and household names) like Facebook (No. 242) and Priceline Group (No. 339). Sure, the top tech companies in the Fortune 500 include plenty that you would expect: Apple, Google, Amazon, and Microsoft. But it also includes many you wouldn’t: Micron Technologies, Western Digital, and Texas Instruments.

There are lessons here. First: The top tech companies in the Fortune 500, some known for triumphs in another era, still make a lot of money as diversified companies. Second: That the top of the list need not necessary reflect a major technological shift impacting the business world. Consider Uber; at a…