Larry Summers for the World Bank?