Real Estate (Tables)

9 Months Ended

Jun. 30, 2023

Real Estate [Abstract]

Real Estate

Real estate consists of:

	June 30, 2023		September 30, 2022
	(In millions)
Developed and under development projects	$	1,867.0	$	1,932.6
Land held for future development	42.1		89.8
	$	1,909.1	$	2,022.4