Muchas gracias por la pronta respuesta. Me sonaba que era esa, pero me hice un lío y no lograba ubicarlo.
PD: el trabajador que di de baja había generado menos de 1 día de vacaciones, porque solo estuvo 2 días de alta. En este caso hay que redondear a un día supongo, verdad?