v3.25.2
Receivables and Current Expected Credit Losses (“CECL”) - Year of Origination of Financing Receivables (Details)
$ in Millions
Jun. 30, 2025
USD ($)
Total  
Financing Receivable, Credit Quality Indicator [Line Items]  
2025 $ 3.9
2024 9.6
2023 8.5
2022 7.9
2021 2.3
Prior 11.8
Total 44.0
Notes Receivable, short and long-term  
Financing Receivable, Credit Quality Indicator [Line Items]  
2025 3.8
2024 7.5
2023 4.9
2022 0.4
2021 0.3
Prior 0.0
Total 16.9
Real estate leases receivable  
Financing Receivable, Credit Quality Indicator [Line Items]  
2025 0.0
2024 1.8
2023 3.3
2022 7.5
2021 2.0
Prior 3.0
Total 17.6
Equipment leases receivable  
Financing Receivable, Credit Quality Indicator [Line Items]  
2025 0.1
2024 0.3
2023 0.3
2022 0.0
2021 0.0
Prior 8.8
Total $ 9.5