The extra cost of the Irish bailout