XML 144 R51.htm IDEA: XBRL DOCUMENT v3.22.2.2
Debt - Pollution Control Revenue Bonds (Details)
$ in Millions
3 Months Ended
Sep. 30, 2022
USD ($)
Municipal bonds | Series 2017 Pollution Control Revenue Bonds  
Debt  
Debt redemption amount $ 31.0