Leases - Sales From Sales-Type And Operating Leases (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Leases [Abstract]
Sales-type leases	$ 6.0	$ 7.3	$ 25.2	$ 18.5
Operating leases	1.9	1.0	4.2	3.0
Total sales from leases	$ 7.9	$ 8.3	$ 29.4	$ 21.5

Amount of operating lease income from lease payments and variable lease payments paid and payable to lessor. Includes, but is not limited to, variable lease payments not included in measurement of lease receivable.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479773/842-30-50-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6A
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482964/270-10-50-6A

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479016/842-30-45-3

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