Leases (Payments Collected) (Details) - USD ($) $ in Millions	12 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2021
Leases [Abstract]
Payments that reduced the noncurrent lease receivable balance	$ 79.6	$ 94.0	$ 98.8
Payments recognized as interest income	49.6	59.1	67.4
Total lease payments collected	$ 129.2	$ 153.1	$ 166.2
SalesTypeLeaseIncomeComprehensiveIncomeExtensibleListNotDisclosedFlag	Total lease payments collected	Total lease payments collected	Total lease payments collected