Расчет количество дней отпуска при увольнении

Я узнал, что мой муж увольняется из компании, в которой он работал с 4 декабря 2014 года по 9 февраля 2023 года. У него положено 28 дней отпуска. Однако, в период с 16 ноября 2017 года по 9 февраля 2018 года он был в отпуске по уходу за ребенком, поэтому этот период не включается в расчет. В 2019 году он использовал отпуск один раз на 14 дней, а второй раз, в декабре, он не успел, так как заболел и взял больничный. После этого все отгулы были использованы, а дополнительных дней отпуска не было предоставлено. Теперь, при увольнении, он хочет получить компенсацию за неиспользованный отпуск. Ему считают по формуле, где из общего стажа отнимают количество отгулянных дней и делят на месяцы. Из-за этого он получает только 11,7 дней отпуска вместо ожидаемых 16 дней (14 за отпуск в 2019 году и 2 за текущий январь месяц). Хотелось бы узнать, правомерно ли считать только по формуле или можно просить учет и компенсацию конкретного количества дней отпуска, основываясь на приказах и других документах? Мы думаем написать в инспекцию по охране труда, так как нам кажется, что нам урезают 4 дня.