Revenue (Disaggregation of Revenue, Narrative) (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2026	Mar. 31, 2025
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenues	$ 644.8	$ 581.9
Minimum [Member]
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	$ 444.9	418.0
Asset-based Revenue
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenues	$ 95.1	$ 85.7
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-04-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue performance period	9 months
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	2 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	3 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	4 years