Revenue (Disaggregation of Revenue) (Details) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 1,179.0	$ 1,019.9	$ 911.7
License-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	812.7	751.6	667.7
Asset-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	211.6	200.4	182.2
Transaction-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 154.7	$ 67.9	$ 61.8

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