Retirement and Other Benefit Plans - Net Periodic Benefit Income (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Jul. 29, 2023	Jul. 30, 2022	Jul. 29, 2023	Jul. 30, 2022
Retirement and Other Benefit Plans
Defined Benefit Plan, Net Periodic Benefit Cost (Credit), Interest Cost, Statement of Income or Comprehensive Income [Extensible Enumeration]	Other income, net	Other income, net	Other income, net	Other income, net
Defined Benefit Plan, Net Periodic Benefit (Cost) Credit, Expected Return (Loss), Statement of Income or Comprehensive Income [Extensible Enumeration]	Other income, net	Other income, net	Other income, net	Other income, net
Defined Benefit Plan, Net Periodic Benefit (Cost) Credit, Amortization of Gain (Loss), Statement of Income or Comprehensive Income [Extensible Enumeration]	Other income, net	Other income, net	Other income, net	Other income, net
Defined Benefit Plan, Net Periodic Benefit Cost (Credit), Amortization of Prior Service Cost (Credit), Statement of Income or Comprehensive Income [Extensible Enumeration]	Other income, net	Other income, net	Other income, net	Other income, net
Pension Plan
Retirement and Other Benefit Plans
Service cost	$ 1,253	$ 1,810	$ 2,511	$ 3,572
Interest cost	3,655	3,026	7,270	5,997
Expected return on assets	(6,104)	(7,024)	(12,178)	(14,008)
Actuarial loss (gain)	883	883	1,894	1,564
Prior service income	(35)	(83)	(63)	(158)
Total net periodic benefit income	(348)	(1,388)	(566)	(3,033)
Other Postretirement Benefits Plan
Retirement and Other Benefit Plans
Service cost	0	0
Interest cost	12	8	24	18
Expected return on assets	0	0
Actuarial loss (gain)	(27)	(27)	(55)	(52)
Prior service income	0	0
Total net periodic benefit income	$ (15)	$ (19)	$ (31)	$ (34)