Real Estate (Tables)
 9 Months Ended
Jun. 30, 2023
Real Estate [Abstract]  
Real Estate
Real estate consists of:
June 30, 2023September 30, 2022
 (In millions)
Developed and under development projects$1,867.0 $1,932.6 
Land held for future development42.1 89.8 
$1,909.1 $2,022.4