XML 46 R35.htm IDEA: XBRL DOCUMENT
v3.25.2

Financial Instruments - Contractual Maturities (Details) $ in Millions | Jun. 30, 2025 USD ($)
--- | ---
Amortized Cost |
Due within one year | $ 68,262
Due after one year through five years | 7,911
Due after five years through ten years | 610
Due after ten years | 903
Amortized cost | 77,686
Estimated Fair Value |
Due within one year | 68,246
Due after one year through five years | 7,928
Due after five years through ten years | 607
Due after ten years | 879
Estimated fair value | $ 77,660

X
- Definition Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in sixth through tenth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterFiveThroughTenYearsAmortizedCost
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in sixth through tenth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3A -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterFiveThroughTenYearsFairValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in second through fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterOneThroughFiveYearsAmortizedCost
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in second through fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3A -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterOneThroughFiveYearsFairValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing after tenth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterTenYearsAmortizedCost
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing after tenth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3A -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterTenYearsFairValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- References No definition available. + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAmortizedCostAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- References No definition available. + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesFairValueAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3A -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesSingleMaturityDate
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3 + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesSingleMaturityDateAmortizedCostBasis
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesWithinOneYearAmortizedCost
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3A -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesWithinOneYearFairValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant