Revenue (Disaggregation of Revenue) (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2025	Sep. 30, 2024	Sep. 30, 2025	Sep. 30, 2024
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 617.4	$ 569.4	$ 1,804.4	$ 1,684.1
License-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	435.0	408.8	1,281.4	1,210.7
Asset-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	84.7	83.8	252.8	245.5
Transaction-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 97.7	$ 76.8	$ 270.2	$ 227.9