Holiday pay and ready reckoners