Pension and Other Postretirement Benefits (Expected Benefit Payments) (Details) $ in Millions	Apr. 30, 2025 USD ($)
Pension Benefits [Member]
Expected benefit payments over the next 10 years
2026	$ 105
2027	50
2028	51
2029	52
2030	52
2031 – 2035	260
Medical and Life Insurance Benefits [Member]
Expected benefit payments over the next 10 years
2026	4
2027	4
2028	4
2029	4
2030	3
2031 – 2035	$ 15

No definition available.

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

- Definition

Amount of benefit for defined benefit plan expected to be paid in five fiscal years after fifth fiscal year following current fiscal year.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 715
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (f)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480506/715-20-50-1

+ Details

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

- Definition

Amount of benefit for defined benefit plan expected to be paid in next fiscal year following current fiscal year.

+ References

+ Details

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

- Definition

Amount of benefit for defined benefit plan expected to be paid in fifth fiscal year following current fiscal year.

+ References

+ Details

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

- Definition

Amount of benefit for defined benefit plan expected to be paid in fourth fiscal year following current fiscal year.

+ References

+ Details

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

- Definition

Amount of benefit for defined benefit plan expected to be paid in third fiscal year following current fiscal year.

+ References

+ Details

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

- Definition

Amount of benefit for defined benefit plan expected to be paid in second fiscal year following current fiscal year.

+ References

+ Details

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

- Details

Name:	us-gaap_RetirementPlanTypeAxis=us-gaap_PensionPlansDefinedBenefitMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RetirementPlanTypeAxis=us-gaap_OtherPostretirementBenefitPlansDefinedBenefitMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: