XML 63 R42.htm IDEA: XBRL DOCUMENT v3.23.2

INVESTMENTS - Cost and Fair Value of Investments in Debt Securities, by Contractual Maturity (Details) - USD ($) $ in Millions	Jun. 30, 2023	Dec. 31, 2022
Amortized Cost
Due in 1 year or less	$ 26.3
Due after 1 year through 5 years	1.8
Due after 5 years through 10 years	0.0
Instruments not due at a single maturity date	0.0
Amortized Cost	28.1
Fair Value
Due in 1 year or less	26.3
Due after 1 year through 5 years	1.8
Due after 5 years through 10 years	0.0
Instruments not due at a single maturity date	0.0
Fair Value	28.1
Amortized Cost
Due in 1 year or less	450.9
Due after 1 year through 5 years	472.0
Due after 5 years through 10 years	4.6
Instruments not due at a single maturity date	306.1
Amortized Cost	1,233.6	$ 1,549.1
Fair Value
Due in 1 year or less	440.4
Due after 1 year through 5 years	446.7
Due after 5 years through 10 years	4.4
Instruments not due at a single maturity date	292.9
Fair Value	$ 1,184.4	$ 1,481.0

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).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 944
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(1))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479440/944-210-S99-1

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-2

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479130/326-30-45-1

+ Details

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

X

- References

No definition available.

+ Details

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

X

- References

No definition available.

+ Details

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

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 rolling fiscal year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date.

+ 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_AvailableForSaleSecuritiesDebtMaturitiesNextRollingTwelveMonthsAmortizedCostBasis
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 rolling fiscal year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date.

+ 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_AvailableForSaleSecuritiesDebtMaturitiesNextRollingTwelveMonthsFairValue
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 rolling sixth through tenth fiscal year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date.

+ 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_AvailableForSaleSecuritiesDebtMaturitiesRollingYearSixThroughTenAmortizedCostBasis
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 rolling sixth through tenth fiscal year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date.

+ 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_AvailableForSaleSecuritiesDebtMaturitiesRollingYearSixThroughTenFairValue
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 rolling fiscal year through fifth year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date.

+ 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_AvailableForSaleSecuritiesDebtMaturitiesRollingYearTwoThroughFiveAmortizedCostBasis
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 rolling fiscal year through fifth year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date.

+ 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_AvailableForSaleSecuritiesDebtMaturitiesRollingYearTwoThroughFiveFairValue
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), without single maturity date and not allocated over maturity grouping.

+ 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

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesWithoutSingleMaturityDateAmortizedCost
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), without single maturity date and not allocated over maturity grouping.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-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/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3A

+ Details

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

X

- Definition

Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (aa)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-2

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481830/320-10-45-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(6))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479853/942-210-S99-1

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479130/326-30-45-1

+ Details

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

X

- Definition

Amount, after allowance for credit loss, of investment in debt security measured at amortized cost (held-to-maturity).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(6))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479853/942-210-S99-1

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481830/320-10-45-1

+ Details

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

X

- References

No definition available.

+ Details

Name:	us-gaap_HeldToMaturitySecuritiesDebtMaturitiesFairValueRollingMaturityAbstract
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 amortized cost (held-to-maturity), with single maturity date and allocated without single maturity date, maturing in next rolling fiscal year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date.

+ References

No definition available.

+ Details

Name:	us-gaap_HeldToMaturitySecuritiesDebtMaturitiesNextRollingTwelveMonthsFairValue
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 amortized cost (held-to-maturity), with single maturity date and allocated without single maturity date, maturing in sixth through tenth rolling fiscal year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date.

+ References

No definition available.

+ Details

Name:	us-gaap_HeldToMaturitySecuritiesDebtMaturitiesRollingYearSixThroughTenFairValue
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 amortized cost (held-to-maturity), with single maturity date and allocated without single maturity date, maturing in second through fifth rolling fiscal year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date.

+ References

No definition available.

+ Details

Name:	us-gaap_HeldToMaturitySecuritiesDebtMaturitiesRollingYearTwoThroughFiveFairValue
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 amortized cost (held-to-maturity), without single maturity date and not allocated over maturity grouping.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5B
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5B

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3A

Reference 3: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

+ Details

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

X

- Definition

Amount, after allowance for credit loss, of investment in debt security measured at amortized cost (held-to-maturity) without single maturity date and not allocated over maturity grouping.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3

+ Details

Name:	us-gaap_HeldToMaturitySecuritiesDebtMaturitiesWithoutSingleMaturityDateNetCarryingAmount
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 amortized cost (held-to-maturity).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 944
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(1))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479440/944-210-S99-1

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5A
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5A

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(6))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479853/942-210-S99-1

Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (aa)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

+ Details

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

X

- References

No definition available.

+ Details

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

X

- Definition

Amount, after allowance for credit loss, of investment in debt security measured at amortized cost (held-to-maturity) with single maturity date and allocated without single maturity date, maturing in next rolling fiscal year following current statement of financial position date. For interim and annual periods when interim period is reported on rolling approach.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3

+ Details

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

X

- Definition

Amount, after allowance for credit loss, of investment in debt security measured at amortized cost (held-to-maturity) with single maturity date and allocated without single maturity date, maturing in sixth through tenth rolling fiscal year following current statement of financial position date. For interim and annual periods when interim period is reported on rolling approach.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)(3)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3

+ Details

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

X

- Definition

Amount, after allowance for credit loss, of investment in debt security measured at amortized cost (held-to-maturity) with single maturity date and allocated without single maturity date, maturing in second through fifth rolling fiscal year following current statement of financial position date. For interim and annual periods when interim period is reported on rolling approach.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3

+ Details

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