Revenue and Contracts with Customers Revenue and Contracts with Customers (Schedule of Accounts Receivable) (Details) - USD ($) $ in Millions	Jun. 30, 2023	Dec. 31, 2022
Revenue from Contract with Customer [Abstract]
Billed accounts receivable	$ 2.5	$ 29.0
Unbilled contract revenue	6.5	9.1
Accounts receivable, net	$ 9.0	$ 38.1

Amount, after allowance for credit loss, of right to consideration from customer for product sold and service rendered in normal course of business, classified as current.

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 310
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 9
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481990/310-10-45-9

+ Details

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

- Definition

Amounts due for billed services rendered or to be rendered, actions taken or to be taken, or a promise to refrain from taking certain actions in accordance with the terms of a legally binding agreement between the Company and, at a minimum, one other party. An example would be amounts billed to customers under contracts or programs but not paid as of the balance sheet date.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 912
-SubTopic 310
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482312/912-310-45-2

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Unbilled amounts due for services rendered or to be rendered, actions taken or to be taken, or a promise to refrain from taking certain actions in accordance with the terms of a legally binding agreement between the entity and, at a minimum, one other party. An example would be amounts associated with contracts or programs where the recognized revenue for performance thereunder exceeds the amounts billed under the terms thereof as of the date of the balance sheet.

+ References

+ Details

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