XML 57 R46.htm IDEA: XBRL DOCUMENT v3.23.1
Leases (Operating Lease Payment Schedule) (Details) - USD ($)
$ in Millions
Mar. 31, 2023
Sep. 30, 2022
Leases [Abstract]    
Lessee, operating lease, payment due current year $ 5.6  
Lessee, operating lease, payment due year two 10.1  
Lessee, operating lease, payment due year three 9.1  
Lessee, operating lease, payment due year four 7.6  
Lessee, operating lease, payment due year five 5.8  
Lessee, operating lease, payment due after year five 36.8  
Lessee, operating lease, payments due 75.0  
Lessee, operating lease, undiscounted excess amount 25.0  
Total lease obligation $ 50.0 $ 50.3
Operating lease, weighted average remaining lease term 10 years 10 years