Leases (Tables)

6 Months Ended

Jun. 30, 2023

Leases

Schedule of Lease Income

The components of lease income were as follows:

	Three Months Ended June 30,				Six Months Ended June 30,
	2023		2022		2023		2022
	(in millions)				(in millions)
Operating lease income	$	2.4		2.1	$	4.8		3.7
Profit recognized at commencement date of sales type leases		—		—		0.3		—
	$	2.4	$	2.1	$	5.1	$	3.7