XML 30 R19.htm IDEA: XBRL DOCUMENT
v3.24.0.1

Summary of Significant Accounting Policies (Tables) | 6 Months Ended
--- | ---
Jan. 31, 2024
Accounting Policies [Abstract] |
Schedule of Carrying Values and Estimated Fair Values of Debt Instruments [Table Text Block] |
| January 31, 2024
| Carrying Value |  | Estimated Fair Value
6.25% Notes | $ | 600,000 |  |  | $ | 600,954 |
0.0% Convertible Notes | $ | 575,000 |  |  | $ | 519,294 |
EPR Secured Notes | $ | 131,701 |  |  | $ | 170,865 |
NRP Loan | $ | 39,491 |  |  | $ | 31,453 |

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