Other Income, Net (Tables)

9 Months Ended

Aug. 31, 2023

Other Income and Expenses [Abstract]

Interest and Other Income

The following is a summary of other income, net recognized in the three and nine months ended August 31, 2023 and 2022

(in millions):

	Three months ended August 31,				Nine months ended August 31,
	2023		2022		2023		2022
Gain on sale of business	$	—	$	49.6	$	—	$	49.6
Gain on settlement of treasury lock	—		18.7		—		18.7
Pension and other postretirement benefit income	2.7		2.4		8.0		7.5
Interest income	9.4		4.8		26.4		11.7
Other	(5.0)		1.9		(3.7)		2.4
Total other income, net	$	7.1	$	77.4	$	30.7	$	89.9