Accounting Policies Allowance for Doubtful Accounts (Details) - USD ($) $ in Millions	Apr. 30, 2026	Apr. 30, 2025
Accounting Policies [Abstract]
Accounts Receivable, Allowance for Credit Loss, Current	$ 6	$ 7

Amount of allowance for credit loss on accounts receivable, classified as current.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(4))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479344/326-20-45-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 310
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481962/310-10-50-4

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