W jaki sposób udzielić pracownikowi dnia wolnego, jeżeli pracownik pracował przez 13 godzin w dniu wolnym od pracy?

Zgodnie z art. 151³ k.p. za nadgodziny w dniu wolnym przysługuje inny pełny dzień wolny, niezależnie od przepracowanej liczby godzin.

Czy pracownikowi, który przepracował w wolną sobotę np. 13 godzin (gdy jego norma stanowi 8 i sobota jest dla niego dniem wolnym ze względu na 5-dniowy tydzień pracy i regulację w regulaminie pracy), należy się dzień wolny, czy też 13 godzin do odbioru?

Zasadą jest, że rekompensatę za pracę w dniu wolnym stanowi udzielenie dnia wolnego, więc proszę o udzielenie odpowiedzi w tym zakresie bez kombinacji z wypłatą dodatkowego wynagrodzenia, jeśli istnieje taka możliwość prawna?