Uma empresa irá trabalhar num feriado, mas somente meio período. Como fica a forma de pagamento nesse caso, paga-se o dia em dobro normalmente, ou pelo fato de ser somente meio período, paga-se meio feriado?