Revenues, Unbilled Revenue and Deferred Revenue (Details) - USD ($) $ in Millions	Jun. 30, 2020	Dec. 31, 2019
Contracts with Customers, Assets and Liabilities [Abstract]
Unbilled revenue	$ 151.5	$ 17.6
Deferred revenue	349.8	$ 314.9
Other Current Assets [Member]
Contracts with Customers, Assets and Liabilities [Abstract]
Unbilled revenue (current amount)	151.5
Other Current Liabilities [Member]
Contracts with Customers, Assets and Liabilities [Abstract]
Deferred revenue (current amount)	136.0
Other Liabilities [Member]
Contracts with Customers, Assets and Liabilities [Abstract]
Deferred revenue (noncurrent)	$ 213.8

No definition available.

Name:	us-gaap_ContractWithCustomerAssetAndLiabilityAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount, before allowance for credit loss, of right to consideration in exchange for good or service transferred to customer, when right is conditioned on something other than passage of time.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=121556615&loc=SL49130531-203044

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=121556615&loc=SL49130533-203044

+ Details

Name:	us-gaap_ContractWithCustomerAssetGross
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount, before allowance for credit loss, of right to consideration in exchange for good or service transferred to customer when right is conditioned on something other than passage of time, classified as current.

+ References

+ Details

Name:	us-gaap_ContractWithCustomerAssetGrossCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=121556615&loc=SL49130531-203044

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

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=121556615&loc=SL49130532-203044

+ Details

Name:	us-gaap_ContractWithCustomerLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as current.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=121556615&loc=SL49130531-203044

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=121556615&loc=SL49130532-203044

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

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as noncurrent.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=121556615&loc=SL49130532-203044

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=121556615&loc=SL49130531-203044

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

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityNoncurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Details

Name:	us-gaap_BalanceSheetLocationAxis=us-gaap_OtherCurrentAssetsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_BalanceSheetLocationAxis=us-gaap_OtherCurrentLiabilitiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_BalanceSheetLocationAxis=us-gaap_OtherLiabilitiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: