v3.22.4
Leases (Operating Lease Payment Schedule) (Details) - USD ($)
$ in Millions
Dec. 31, 2022
Sep. 30, 2022
Leases [Abstract]    
Lessee, operating lease, payment due current year $ 8.4  
Lessee, operating lease, payment due year two 9.9  
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 35.1  
Lessee, operating lease, payments due 75.9  
Lessee, operating lease, undiscounted excess amount 25.5  
Total lease obligation $ 50.4 $ 50.3
Operating lease, weighted average remaining lease term 10 years 10 years