Finite-Lived Intangible Assets (Parenthetical) (Detail) - USD ($) $ in Millions	Dec. 31, 2017	Jun. 30, 2017
Technology-based
Finite-Lived Intangible Assets [Line Items]
Net carrying amount of software to be sold, leased, or otherwise marketed	$ 32	$ 59

Unamortized costs incurred for development of computer software, which is to be sold, leased or otherwise marketed, after establishing technological feasibility through to the general release of the software products. Excludes capitalized costs of developing software for internal use.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(10))
-URI http://asc.fasb.org/extlink&oid=6879938&loc=d3e572229-122910

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(10))
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 985
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=6501960&loc=d3e128462-111756

Reference 4: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(17))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

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