XML 60 R48.htm IDEA: XBRL DOCUMENT v3.23.1

Leases (Costs) (Details) - USD ($) $ in Millions		3 Months Ended		9 Months Ended
		Apr. 30, 2023	May 01, 2022	Apr. 30, 2023	May 01, 2022
Operating Lease, Cost		$ 23	$ 19	$ 63	$ 58
Finance lease, amortization of right-of-use assets		4	4	12	12
Short-term Lease, Cost		14	15	48	42
Variable Lease, Cost	[1]	52	49	155	150
Lease, Cost, Total		$ 93	$ 87	$ 278	$ 262
[1] Includes labor and other overhead in our service contracts with embedded leases.

X

- Definition

Amount of amortization expense attributable to right-of-use asset from finance lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479589/842-20-55-53

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 4
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479041/842-20-45-4

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

+ Details

Name:	us-gaap_FinanceLeaseRightOfUseAssetAmortization
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

X

- Definition

Amount of lease cost recognized by lessee for lease contract.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479589/842-20-55-53

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

+ Details

Name:	us-gaap_LeaseCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

X

- Definition

Amount of single lease cost, calculated by allocation of remaining cost of lease over remaining lease term. Includes, but is not limited to, single lease cost, after impairment of right-of-use asset, calculated by amortization of remaining right-of-use asset and accretion of lease liability.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479589/842-20-55-53

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

+ Details

Name:	us-gaap_OperatingLeaseCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

X

- Definition

Amount of short-term lease cost, excluding expense for lease with term of one month or less.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479589/842-20-55-53

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

+ Details

Name:	us-gaap_ShortTermLeaseCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

X

- Definition

Amount of variable lease cost, excluded from lease liability, recognized when obligation for payment is incurred for finance and operating leases.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479589/842-20-55-53

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

+ Details

Name:	us-gaap_VariableLeaseCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration