Real Estate (Tables)

6 Months Ended

Mar. 31, 2023

Real Estate [Abstract]

Real Estate

Real estate consists of:

	March 31, 2023		September 30, 2022
	(In millions)
Developed and under development projects	$	1,920.4	$	1,932.6
Land held for future development	67.6		89.8
	$	1,988.0	$	2,022.4