Then 26 days paid off after 15 years.
Plus 13 paid sick leave days and 11 paid federal holidays, plus POTUS can declare Christmas Eve a paid day off. And inauguration day is paid off too.
The 13 paid sick leave days can be used for "personal medical needs" (medical, dental, optical), and "family care or bereavement" (take your kids to the doctor/dental/optical)
So a parent raising children that's worked for the government for 15 years could conceivably not show up for work and get full pay for 50 business days, fully salaried and paid, without working a single one of those days as they take vacation, go to the doctor, are home sick, take kids to any medical appointments, and takes federal holidays, and then gets the occasional 1 or 2 days off every time it's given.
I was thinking about it one time, and in certain circumstances, it's really not altogether different than a school teacher who is off for about 2 full months of the year.