Revenue (Disaggregation of Revenue) (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2022	Sep. 30, 2021	Sep. 30, 2022	Sep. 30, 2021
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 468.2	$ 428.9	$ 1,395.6	$ 1,237.1
License-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	342.6	287.0	982.0	830.3
Asset-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	67.3	68.4	203.4	194.6
Transaction-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 58.3	$ 73.5	$ 210.2	$ 212.2