Business Combinations - Long term income tax assets and liabilities (Details) - USD ($) $ in Millions	Jul. 31, 2022	Jul. 31, 2021	Dec. 03, 2020
Business Acquisition [Line Items]
Intangibles	$ (868)	$ (844)
Federal research and experimentation credit carryforwards	3
Other, net	23	16
Total net long-term deferred income tax liabilities	$ (619)	$ (525)
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)