v3.25.1
Receivables and Current Expected Credit Losses (“CECL”) - Year of Origination of Financing Receivables (Details)
$ in Millions
Mar. 31, 2025
USD ($)
Total  
Financing Receivable, Credit Quality Indicator [Line Items]  
2025 $ 2.4
2024 10.6
2023 8.9
2022 8.1
2021 2.4
Prior 14.0
Total 46.4
Notes Receivable, short and long-term  
Financing Receivable, Credit Quality Indicator [Line Items]  
2025 2.3
2024 8.4
2023 5.1
2022 0.5
2021 0.3
Prior 0.0
Total 16.6
Real estate leases receivable  
Financing Receivable, Credit Quality Indicator [Line Items]  
2025 0.0
2024 1.9
2023 3.3
2022 7.6
2021 2.1
Prior 3.1
Total 18.0
Equipment leases receivable  
Financing Receivable, Credit Quality Indicator [Line Items]  
2025 0.1
2024 0.3
2023 0.5
2022 0.0
2021 0.0
Prior 10.9
Total $ 11.8