Financial Instruments (Details) - USD ($) $ in Millions	Jun. 30, 2023	Dec. 31, 2022	Jun. 30, 2022	Dec. 31, 2021
Debt Securities, Available-for-sale [Line Items]
Cash	$ 22.1	$ 27.0
Time deposits	4.4	4.1
Money Market Funds (level 1)	322.7	178.6
Financial Instruments, Owned, US Government and Agency Obligations, at Fair Value	591.7	776.1
Total	940.9	985.8
Included in Cash and cash equivalents	343.9	373.6
Restricted Cash Equivalents, Noncurrent	5.3	5.4
Cash, Cash Equivalents, Restricted Cash and Restricted Cash Equivalents	349.2	379.0	$ 611.6	$ 228.8
Included in Marketable securities	$ 591.7	$ 606.8

Amount of currency on hand as well as demand deposits with banks or financial institutions. Includes other kinds of accounts that have the general characteristics of demand deposits. Also includes short-term, highly liquid investments that are both readily convertible to known amounts of cash and so near their maturity that they present insignificant risk of changes in value because of changes in interest rates. Excludes cash and cash equivalents within disposal group and discontinued operation.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(1))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483467/210-10-45-1

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-4

+ Details

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

- Definition

Cash includes currency on hand as well as demand deposits with banks or financial institutions. It also includes other kinds of accounts that have the general characteristics of demand deposits in that the customer may deposit additional funds at any time and effectively may withdraw funds at any time without prior notice or penalty. Cash equivalents, excluding items classified as marketable securities, include short-term, highly liquid Investments that are both readily convertible to known amounts of cash, and so near their maturity that they present minimal risk of changes in value because of changes in interest rates. Generally, only investments with original maturities of three months or less qualify under that definition. Original maturity means original maturity to the entity holding the investment. For example, both a three-month US Treasury bill and a three-year Treasury note purchased three months from maturity qualify as cash equivalents. However, a Treasury note purchased three years ago does not become a cash equivalent when its remaining maturity is three months. Short-term investments, exclusive of cash equivalents, generally consist of marketable securities intended to be sold within one year (or the normal operating cycle if longer) and may include trading securities, available-for-sale securities, or held-to-maturity securities (if maturing within one year), as applicable.

+ References

+ Details

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

- Definition

Amount of cash and cash equivalents, and cash and cash equivalents restricted to withdrawal or usage. Excludes amount for disposal group and discontinued operations. Cash includes, but is not limited to, currency on hand, demand deposits with banks or financial institutions, and other accounts with general characteristics of demand deposits. Cash equivalents include, but are not limited to, short-term, highly liquid investments that are both readily convertible to known amounts of cash and so near their maturity that they present insignificant risk of changes in value because of changes in interest rates.

+ References

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

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 24
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-24

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-4

+ Details

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

- Definition

Amount of short-term, highly liquid investments that are both readily convertible to known amounts of cash and so near their maturity that they present insignificant risk of changes in value because of changes in interest rates. Excludes cash and cash equivalents within disposal group and discontinued operation.

+ References

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

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(1))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

+ Details

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

- Definition

The fair value as of the balance sheet date of firm holdings in debt obligations issued by the US government including short-term Treasury bills, medium-term Treasury notes, and long-term Treasury bonds, as well as debt issued by agencies. Includes both pledged (to counterparties as collateral for financing transactions) and unpledged holdings.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 940
-SubTopic 320
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481961/940-320-45-2

+ Details

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

- Definition

Amount of investment in marketable security, classified as current.

+ References

+ Details

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

- Definition

Investment in short-term money-market instruments (such as commercial paper, banker's acceptances, repurchase agreements, government securities, certificates of deposit, and so forth) which are highly liquid (that is, readily convertible to known amounts of cash) and so near their maturity that they present an insignificant risk of changes in value because of changes in interest rates. Generally, only investments with original maturities of three months or less qualify as cash equivalents by definition. Original maturity means an original maturity to the entity holding the investment. For example, both a three-month US Treasury bill and a three-year Treasury note purchased three months from maturity qualify as cash equivalents. However, a Treasury note purchased three-years ago does not become a cash equivalent when its remaining maturity is three months.

+ References

No definition available.

+ Details

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

- Definition

Amount of cash equivalents restricted as to withdrawal or usage, classified as noncurrent. Cash equivalents include, but are not limited to, short-term, highly liquid investments that are both readily convertible to known amounts of cash and so near their maturity that they present insignificant risk of changes in value because of changes in interest rates.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(17))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 954
-SubTopic 210
-Name Accounting Standards Codification
-Section 45
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480632/954-210-45-4

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

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 5
-SubTopic 210
-Topic 954
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480632/954-210-45-5

Reference 5: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482913/230-10-50-8

+ Details

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

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

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

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 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 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (aaa)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-2

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

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

Reference 7: http://www.xbrl.org/2003/role/disclosureRef
-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 8: 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 9: 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 10: 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 11: 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 12: 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

+ Details

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

- Definition

Any certificate of deposit or savings account held by a bank or other financial institution for a short-term specified period of time. Because of their short-term, time deposits are considered highly liquid investments that are both readily convertible to known amounts of cash and so near their maturity that they present insignificant risk of changes in value because of changes in interest rates. Generally, only investments with original maturities of three months or less qualify under that definition. Original maturity means original maturity to the entity holding the investment. For example, both a three-month US Treasury bill and a three-year Treasury note purchased three months from maturity qualify as cash equivalents. However, a Treasury note purchased three-years ago does not become a cash equivalent when its remaining maturity is three months.

+ References

+ Details

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