Over 26 million workers are entitled to paid leave because of the EU, so there are almost 750 million days of paid holiday taken.