Investments - Schedule of Changes in the Fair Value of Level 3 Investments (Details) - Forward Contracts $ in Millions	3 Months Ended
Dec. 31, 2018 USD ($)
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward]
Balance September 30, 2018	$ 1,090.0
Unrealized loss	(149.0)
Transfer to Level 1 upon registration of PTC Shares on November 28, 2018	(941.0)
Balance December 31, 2018	$ 0.0

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

No definition available.

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

- Definition

Amount of gain (loss) recognized in other comprehensive income (loss) for financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1a)
-URI http://asc.fasb.org/extlink&oid=99377789&loc=d3e19207-110258

+ Details

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

- Definition

Fair value of financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=99377789&loc=d3e19207-110258

+ Details

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

- Definition

Amount of gain (loss) recognized on the income statement for financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)
-URI http://asc.fasb.org/extlink&oid=99377789&loc=d3e19207-110258

+ Details

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

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_ForwardContractsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: