Current Expected Credit Losses - Year of Origination of Financing Receivables (Details) $ in Millions	Mar. 31, 2020 USD ($)
Financing Receivable, Credit Quality Indicator [Line Items]
2020	$ 1.6
2019	8.6
2018	13.7
2017	6.6
2016	1.4
Prior	83.4
Total	115.3
Notes receivable, short-term
Financing Receivable, Credit Quality Indicator [Line Items]
2020	1.6
2019	7.7
2018	13.7
2017	6.6
2016	0.0
Prior	0.2
Total	29.8
Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
2020	0.0
2019	0.9
2018	0.0
2017	0.0
2016	1.4
Prior	29.0
Total	31.3
Equipment Notes
Financing Receivable, Credit Quality Indicator [Line Items]
2020	0.0
2019	0.0
2018	0.0
2017	0.0
2016	0.0
Prior	54.2
Total	$ 54.2