XML 35 R20.htm IDEA: XBRL DOCUMENT
v3.23.3

Summary of Significant Accounting Policies (Tables) | 3 Months Ended
--- | ---
Oct. 31, 2023
Accounting Policies [Abstract] |
Schedule of Carrying Values and Estimated Fair Values of Debt Instruments [Table Text Block] |
| October 31, 2023
| Carrying Value |  | Estimated Fair Value
6.25% Notes | $ | 600,000 |  |  | $ | 596,022 |
0.0% Convertible Notes | $ | 575,000 |  |  | $ | 501,883 |
EPR Secured Notes | $ | 132,102 |  |  | $ | 158,129 |
NRP Loan | $ | 34,489 |  |  | $ | 28,359 |

X
- References No definition available. + Details
Name: | us-gaap_AccountingPoliciesAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Tabular disclosure of information pertaining to carrying amount and estimated fair value of short-term and long-term debt instruments or arrangements, including but not limited to, identification of terms, features, and collateral requirements. + References No definition available. + Details
Name: | us-gaap_ScheduleOfCarryingValuesAndEstimatedFairValuesOfDebtInstrumentsTableTextBlock
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:textBlockItemType
Balance Type: | na
Period Type: | duration