Commitments and Contingencies - Minimum Purchase Commitments (Details) - USD ($) $ in Millions	Aug. 02, 2023	Jun. 30, 2023
Minimum purchase commitments [Abstract]
Remainder of 2024		$ 342
2025		388
2026		327
2027		9
Total		$ 1,066
Subsequent Event
Minimum purchase commitments [Abstract]
Total	$ 250

No definition available.

Name:	us-gaap_LongTermCommitmentExcludingUnconditionalPurchaseObligationAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Minimum amount of purchase arrangement in which the entity has agreed to expend funds to procure goods or services from a supplier.

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in next fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligationDueInNextTwelveMonths
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in second fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligationDueInSecondYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in third fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligationDueInThirdYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in remainder of current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment.

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligationFutureMinimumPaymentsRemainderOfFiscalYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Details

Name:	us-gaap_SubsequentEventTypeAxis=us-gaap_SubsequentEventMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: