XML 56 R41.htm IDEA: XBRL DOCUMENT v3.20.2
DISCONTINUED OPERATIONS - General Information (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Oct. 19, 2020
Nov. 01, 2020
Nov. 01, 2020
DISCONTINUED OPERATIONS      
Proceeds from sales of businesses, net     $ 2,845.5
Constructions And Industrial Business [Member] | Discontinued operations      
DISCONTINUED OPERATIONS      
Proceeds from sales of businesses, net $ 2,800.0    
Transaction costs $ 34.9    
Gain on sale of business, net of tax   $ 1,500.0 1,500.0
Tax effect of gain from disposal of discontinued operations   $ 257.1 $ 257.1