Discontinued Operations (Details) - USD ($) $ in Millions		3 Months Ended
Aug. 22, 2022	Oct. 31, 2023
Discontinued Operations [Abstract]
Gross proceeds from property held for sale	$ 49.4	$ 49.4
Note payable		15.0
Repaying the note payable		33.0
Disposal gain on discontinued operations		6.8
Property carrying value		40.2
Transaction cost		1.2
Deferred rental income		$ 1.2

The costs incurred to retain exploration and property rights after acquisition but before production has occurred. Costs include legal costs for title defense, ad valorem taxes on nonproducing mineral properties, shut-in royalties, and delay rentals.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 28
-Subparagraph (b)
-SubTopic 10
-Topic 230
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-28

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.3)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483621/220-10-S99-2

+ Details

Name:	us-gaap_CarryingCostsPropertyAndExplorationRights
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of excess of rental income recognized over rental payment required by lease.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 840
-SubTopic 20
-Name Accounting Standards Codification
-Section 35
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481123/840-20-35-2

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 840
-SubTopic 20
-Name Accounting Standards Codification
-Section 25
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481178/840-20-25-1

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 25
-Paragraph 11
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479341/842-30-25-11

Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 840
-SubTopic 20
-Name Accounting Standards Codification
-Section 25
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481178/840-20-25-2

+ Details

Name:	us-gaap_DeferredRentReceivablesNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount before tax of gain (loss) not previously recognized resulting from the disposal of a discontinued operation.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 205
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 3B
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483475/205-20-45-3B

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 205
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483499/205-20-50-1

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 205
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483475/205-20-45-3

+ Details

Name:	us-gaap_DiscontinuedOperationGainLossFromDisposalOfDiscontinuedOperationBeforeIncomeTax
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

+ Details

Name:	us-gaap_DiscontinuedOperationsAndDisposalGroupsAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of long-term notes payable classified as other.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(22))
-SubTopic 10
-Topic 210
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 944
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(16)(a)(2))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479440/944-210-S99-1

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(16))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479853/942-210-S99-1

+ Details

Name:	us-gaap_OtherNotesPayable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of other expenses associated with exit or disposal activities pursuant to an authorized plan. Excludes expenses associated with a discontinued operation or an asset retirement obligation.

+ References

+ Details

Name:	us-gaap_OtherRestructuringCosts
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of cash inflow (outflow) from long-term debt supported by a written promise to pay an obligation.

+ References

No definition available.

+ Details

Name:	us-gaap_ProceedsFromRepaymentsOfNotesPayable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

The cash inflow from the sale of formerly productive land held for sale, anything permanently fixed to it, including buildings, structures on it, and so forth.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 12
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-12

+ Details

Name:	us-gaap_ProceedsFromSaleOfPropertyHeldForSale
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration