Revenue (Disaggregation of Revenue) (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 2,275.1	$ 2,038.6	$ 1,870.6
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-01-01
Disaggregation of Revenue [Line Items]
Revenue performance period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-01-01
Disaggregation of Revenue [Line Items]
Revenue performance period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-01-01
Disaggregation of Revenue [Line Items]
Revenue performance period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01
Disaggregation of Revenue [Line Items]
Revenue performance period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-01-01
Disaggregation of Revenue [Line Items]
Revenue performance period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-01-01
Disaggregation of Revenue [Line Items]
Revenue performance period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-01-01
Disaggregation of Revenue [Line Items]
Revenue performance period	1 year
License-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 1,625.1	1,517.5	1,331.7
Asset-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	333.2	279.6	269.4
Transaction-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 316.8	$ 241.5	$ 269.5