Jak ustalić wymiar proporcjonalnego urlopu wypoczynkowego?

Pracownik zatrudniony od 1 lipca 2015 r. do 31 grudnia 2015 r. na umowę na czas zastępstwa. Wymiar urlopu wypoczynkowego wynosi 20 dni. W dniu 20 sierpnia 2015 r. nabył prawo do 6 dni urlopu wypoczynkowego uzupełniającego. Policzono: 20 : 12 x 6= 9,9 = 10 + 6 = 16 dni urlopu wypoczynkowego. W dniu 30 listopada 2015 r. rozwiązano umowę i policzono urlop – 20 : 12 x 5 = 8,3 = 9 dni + 6 = 15 (zaokrąglono w górę) W dniu 1 grudnia 2015 r. nawiązano umowę na czas określony i policzono urlop – 20 : 12 x 1= 1,66 = 1 (zmniejszono) = razem 16 dni.

Czy taki sposób naliczenia urlopu wypoczynkowego jest poprawny?