Revenue from Lessor Arrangements and Contracts with Customers - Operating Lease and Service Revenue (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2020	Jun. 30, 2019	Jun. 30, 2020	Jun. 30, 2019
Lease revenue:
Total revenue	$ 195.4	$ 262.2	$ 412.1	$ 488.3
VERIFI Sales Arrangements
Lease revenue:
Lease payments revenue	6.6	6.8	13.4	13.2
Variable lease revenue	2.5	1.9	4.5	3.4
Total lease revenue	9.1	8.7	17.9	16.6
Total service revenue	1.6	1.2	3.0	2.2
Total revenue	10.7	9.9	20.9	18.8
VERIFI Sales Arrangements | Fixed fee revenue
Lease revenue:
Total service revenue	0.1	0.0	0.2	0.0
VERIFI Sales Arrangements | Variable fee revenue
Lease revenue:
Total service revenue	$ 1.5	$ 1.2	$ 2.8	$ 2.2