Notes Receivable and Allowances for Loan Losses (Details) - USD ($) $ in Millions	Oct. 31, 2022	Jul. 31, 2022
Receivables [Abstract]
Notes receivable, net	$ 601	$ 540
Period past due considered delinquent	1 day

Amortized cost, after allowance for credit loss, of financing receivable. Excludes financing receivable covered under loss sharing agreement and net investment in lease.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 20
-Section 50
-Paragraph 5
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=124255953&loc=SL82919230-210447

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 310
-SubTopic 10
-Section 45
-Paragraph 2
-URI https://asc.fasb.org/extlink&oid=124259787&loc=d3e4428-111522

Name:	us-gaap_NotesReceivableNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant