Real Estate (Tables)

3 Months Ended

Dec. 31, 2023

Real Estate [Abstract]

Real Estate

Real estate consists of:

	December 31, 2023		September 30, 2023
	(In millions)
Developed and under development projects	$	1,895.7	$	1,760.8
Land held for future development	114.1		29.5
	$	2,009.8	$	1,790.3