Revenue (Disaggregation of Revenue, Narrative) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2025	Jun. 30, 2024	Jun. 30, 2025	Jun. 30, 2024
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenues	$ 605.1	$ 571.9	$ 1,187.0	$ 1,114.7
Minimum [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	1 year		1 year
Maximum [member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	3 years		3 years
Licensed-based Revenue
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenues	$ 428.4	401.7	$ 846.4	801.9
Asset-based Revenue
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenues	$ 82.4	$ 84.7	$ 168.1	$ 161.7
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-07-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	6 months		6 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	1 year		1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	2 years		2 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	3 years		3 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2029-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	4 years		4 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2030-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	5 years		5 years