Restructuring costs (Tables)

12 Months Ended

Dec. 31, 2024

Restructuring costs

Schedule of accrued restructuring costs

	Years ended December 31,
	2023		2024
	(in millions)
Changes in accrued workforce reduction costs:
Balances at beginning of the year	$	—	$	5.0
Workforce reduction costs accrued		5.8		2.0
Workforce reduction costs paid		(.9)		(6.0)
Currency translation adjustments, net		.1		(.1)
Balance at the end of the year	$	5.0	$	.9
Amounts recognized in the balance sheet:
Current liability	$	5.0	$	.9
Noncurrent liability		—		—
	$	5.0	$	.9