v3.26.1
REVENUE RECOGNITION - Transaction Price Allocated to the Remaining Performance Obligations (Details)
$ in Millions
Jun. 30, 2026
USD ($)
REVENUE RECOGNITION  
Estimated revenue recognition $ 756
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-04-28 | Marcolin Group | License  
REVENUE RECOGNITION  
Expected timing of revenue recognition 20 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-07-01  
REVENUE RECOGNITION  
Estimated revenue recognition $ 313
Expected timing of revenue recognition 12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-07-01 | License  
REVENUE RECOGNITION  
Estimated revenue recognition $ 31
Expected timing of revenue recognition 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-07-01 | Marcolin Group | License  
REVENUE RECOGNITION  
Estimated revenue recognition $ 282
Expected timing of revenue recognition 12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-07-01 | License  
REVENUE RECOGNITION  
Estimated revenue recognition $ 33
Expected timing of revenue recognition 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-07-01 | Marcolin Group | License  
REVENUE RECOGNITION  
Estimated revenue recognition $ 198
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-07-01 | License  
REVENUE RECOGNITION  
Estimated revenue recognition $ 34
Expected timing of revenue recognition 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2029-07-01 | License  
REVENUE RECOGNITION  
Estimated revenue recognition $ 35
Expected timing of revenue recognition 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2030-07-01 | License  
REVENUE RECOGNITION  
Estimated revenue recognition $ 35
Expected timing of revenue recognition 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2031-07-01 | License  
REVENUE RECOGNITION  
Estimated revenue recognition $ 98
Expected timing of revenue recognition