Shareholders' Equity (Schedule of Dividends Paid and Dividends Declared) (Details) - USD ($) $ / shares in Units, $ in Millions	1 Months Ended	6 Months Ended
	Aug. 03, 2023	Jun. 30, 2023
February 27,2022 [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
October 30, 2022 [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
Subsequent Event [Member] | April 24, 2022 [Member]
Date Declared	Jul. 30, 2023
Payable to Shareholders of Record at the Close of Business on	Aug. 24, 2023
Cash to be Paid Per Share	$ 0.85
Date Paid/Date to be Paid	Sep. 20, 2023