Employee leave credits, often referred to as “leave balances,” are the unused paid time-off days or …