Revenue Revenue (Narrative) (Details) $ in Millions	3 Months Ended	9 Months Ended
	Sep. 30, 2023 USD ($)	Sep. 30, 2023 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation, amount	$ 454.9	$ 454.9
Increase in contract liability opening balance for revenue recognized	$ 17.5	$ 73.8
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation, percentage	61.00%	61.00%
Remaining performance obligation, expected timing of satisfaction, period	3 months	3 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation, expected timing of satisfaction, period	1 year	1 year