Revenues - Disaggregation of Revenues by Source (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2023	Mar. 31, 2022
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	$ 1,362.7	$ 1,295.0
Software-enabled Services [Member]
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	1,114.2	1,085.2
Maintenance and Term Licenses [Member]
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	213.3	178.3
Professional Services [Member]
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	27.7	26.7
Perpetual Licenses [Member]
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	$ 7.5	$ 4.8