Trabalho no feriado Horas extra

Pessoal preciso da ajuda de vocês se possível, por favor. Já li, re li, e não consigo chegar a uma conclusão.

Um funcionário trabalha 30 dias no mês, recebe um salário hipotético de 880,00. No mês de maio teve um feriado, e o funcionário trabalhou por 4 horas.
Na minha ignorância, eu penso (e claro posso estar muito errada), ele já recebe por essas horas se ele não trabalhar. Mas, como ele trabalhou:
880,00 /220 horas= 4,00*4 horas= 16,00

Assim pergunto: Ele além dos 880,00 ele vai receber + 16 ou + 32??? (considerando 100% o valor da HE trabalhada)


Agradeço.

Bia Goncalves
Toda vez que o funcionário trabalha horas a mais da sua jornada, ele tem que ser recompensado de alguma forma, seja pelo pagamento da hora extra, com o devido adicional ou por descanso via banco de horas.
No caso do pagamento, e se for 100%:
Se o salario é 880,00 / 220 = 4,00 x 100%+ = 8,00 x 4 horas = R$ 32,00 + o DSR.

Att.