Revenues - Disaggregation of Revenues by Source (Details) - USD ($) $ in Millions	3 Months Ended
Mar. 31, 2020	Mar. 31, 2019
Disaggregation Of Revenue [Line Items]
Disaggregation of revenue	$ 1,173.6	$ 1,137.2
Software-enabled Services [Member]
Disaggregation Of Revenue [Line Items]
Disaggregation of revenue	989.5	972.0
Maintenance and Term Licenses [Member]
Disaggregation Of Revenue [Line Items]
Disaggregation of revenue	159.8	130.1
Professional Services [Member]
Disaggregation Of Revenue [Line Items]
Disaggregation of revenue	20.0	20.0
Perpetual Licenses [Member]
Disaggregation Of Revenue [Line Items]
Disaggregation of revenue	$ 4.3	$ 15.1

Amount, excluding tax collected from customer, of revenue from satisfaction of performance obligation by transferring promised good or service to customer. Tax collected from customer is tax assessed by governmental authority that is both imposed on and concurrent with specific revenue-producing transaction, including, but not limited to, sales, use, value added and excise.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 4
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=118956577&loc=SL49130543-203045

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 5
-URI http://asc.fasb.org/extlink&oid=118956577&loc=SL49130545-203045

Name:	us-gaap_RevenueFromContractWithCustomerExcludingAssessedTax
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration