Notwithstanding the provisions of any other law, the Executive Directors and Directors and their alternates, representing the United States in the International Monetary Fund, the International Bank for Reconstruction and Development, the European Bank for Reconstruction and Development, the Inter-American Development Bank, the Bank for Economic Cooperation and Development in the Middle East and North Africa, the Asian Development Bank, the African Development Fund, the African Development Bank, and the Inter-American Investment Corporation, shall, if they are citizens of the United States, in the discretion of the Secretary of the Treasury, each be eligible on the basis of such service and the total compensation received therefor, for all employee benefits afforded employees in the civil service of the United States. The Treasury Department shall serve as the employing office for collecting, accounting for, and depositing in the Civil Service Retirement and Disability Fund, Employees Life Insurance Fund, and Employees Health Benefits Fund, all retirement and health insurance benefits payments made by these employees, and shall make any necessary agency contributions from funds appropriated to the Department of the Treasury.