Revenue (Disaggregation of Revenue, Narrative) (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenues	$ 2,275.1	$ 2,038.6	$ 1,870.6
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	1 year
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
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	1 year
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	1 year
Minimum [Member] | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	1 year
Maximum [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	3 years
Licensed-based Revenue
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenues	$ 1,625.1	1,517.5	1,331.7
Licensed-based Revenue | Minimum [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	1 year
Licensed-based Revenue | Maximum [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	3 years
Asset-based Revenue
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenues	$ 333.2	$ 279.6	$ 269.4
Asset-based Revenue | Minimum [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	1 year
Asset-based Revenue | Maximum [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	3 years