XML 105 R89.htm IDEA: XBRL DOCUMENT v3.23.3
Leases (Lease Receivables) (Details) - USD ($)
$ in Millions
Sep. 30, 2023
Sep. 30, 2022
Leases [Abstract]    
Current lease receivables $ 78.0 $ 77.8
Noncurrent lease receivables 494.7 583.1
Total lease receivables, net $ 572.7 $ 660.9