Fair Value Measurements - Unrealized Loss Position (Details) $ in Millions	Jun. 30, 2025 USD ($)
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Unrealized Losses within 12 months, Fair Value	$ 2,274.4
Unrealized Losses within 12 months, Unrealized Losses	(3.6)
Unrealized Losses 12 months or greater, Fair Value	0.0
Unrealized Losses 12 months or greater, Unrealized Losses	0.0
Total, Fair Value	2,274.4
Total, Unrealized Losses	(3.6)
U.S. government notes
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Unrealized Losses within 12 months, Fair Value	925.8
Unrealized Losses within 12 months, Unrealized Losses	(1.4)
Unrealized Losses 12 months or greater, Fair Value	0.0
Unrealized Losses 12 months or greater, Unrealized Losses	0.0
Total, Fair Value	925.8
Total, Unrealized Losses	(1.4)
Corporate bonds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Unrealized Losses within 12 months, Fair Value	732.6
Unrealized Losses within 12 months, Unrealized Losses	(1.5)
Unrealized Losses 12 months or greater, Fair Value	0.0
Unrealized Losses 12 months or greater, Unrealized Losses	0.0
Total, Fair Value	732.6
Total, Unrealized Losses	(1.5)
Municipal bonds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Unrealized Losses within 12 months, Fair Value	1.5
Unrealized Losses within 12 months, Unrealized Losses	0.0
Unrealized Losses 12 months or greater, Fair Value	0.0
Unrealized Losses 12 months or greater, Unrealized Losses	0.0
Total, Fair Value	1.5
Total, Unrealized Losses	0.0
Agency securities
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Unrealized Losses within 12 months, Fair Value	614.5
Unrealized Losses within 12 months, Unrealized Losses	(0.7)
Unrealized Losses 12 months or greater, Fair Value	0.0
Unrealized Losses 12 months or greater, Unrealized Losses	0.0
Total, Fair Value	614.5
Total, Unrealized Losses	$ (0.7)