Shareholders' Equity (Schedule of Dividends Paid and Dividends Declared) (Details) - USD ($) $ / shares in Units, $ in Millions	2 Months Ended	12 Months Ended
	Feb. 28, 2024	Dec. 31, 2023
February 20,2023 [Member]
Date Declared		Feb. 20, 2023
Payable to Shareholders of Record at the Close of Business on		Mar. 10, 2023
Cash Paid Per Share		$ 0.85
Aggregate Amount Paid		$ 93.9
Date Paid/Date to be Paid		Mar. 24, 2023
April 30, 2023 [Member]
Date Declared		Apr. 30, 2023
Payable to Shareholders of Record at the Close of Business on		May 26, 2023
Cash Paid Per Share		$ 0.85
Aggregate Amount Paid		$ 92.1
Date Paid/Date to be Paid		Jun. 21, 2023
July 30, 2023 [Member]
Date Declared		Jul. 30, 2023
Payable to Shareholders of Record at the Close of Business on		Aug. 24, 2023
Cash Paid Per Share		$ 0.85
Aggregate Amount Paid		$ 92.1
Date Paid/Date to be Paid		Sep. 20, 2023
November 1, 2023 [Member]
Date Declared		Nov. 01, 2023
Payable to Shareholders of Record at the Close of Business on		Nov. 16, 2023
Cash Paid Per Share		$ 0.85
Aggregate Amount Paid		$ 91.8
Date Paid/Date to be Paid		Dec. 14, 2023
Subsequent Event [Member] | February 26, 2024 [Member]
Date Declared	Feb. 26, 2024
Payable to Shareholders of Record at the Close of Business on	Mar. 14, 2024
Cash to be Paid Per Share	$ 0.98
Date Paid/Date to be Paid	Mar. 28, 2024