Business Combinations - Long-term deferred income tax assets and liabilities (Details) - USD ($) $ in Millions	Jul. 31, 2023	Jul. 31, 2022	Dec. 03, 2020
Business Acquisition [Line Items]
Intangibles	$ (840)	$ (868)
Federal research and experimentation credit carryforwards	667	0
Other, net	27	23
Total net long-term deferred income tax liabilities	$ (4)	$ (619)
Credit Karma
Business Acquisition [Line Items]
Intangibles			$ (851)
Federal and state net operating loss carryforwards			138
Federal research and experimentation credit carryforwards			51
Other, net			35
Total net long-term deferred income tax liabilities			$ (627)