XML 34 R19.htm IDEA: XBRL DOCUMENT
v3.25.0.1

Summary of Significant Accounting Policies (Tables) | 6 Months Ended
--- | ---
Jan. 31, 2025
Accounting Policies [Abstract] |
Schedule of Carrying Values and Estimated Fair Values of Debt Instruments [Table Text Block] |
| January 31, 2025
| Carrying Value | Fair Value
6.50% Notes | $ | 600,000 |  | $ | 609,468 |
0.0% Convertible Notes | $ | 525,000 |  | $ | 499,658 |
EPR Secured Notes | $ | 130,098 |  | $ | 166,549 |
NRP Loan | $ | 34,491 |  | $ | 28,929 |

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