An amount (other than a travel, transportation, or per diem allowance) received by an employee or individual for military service as a member of the Reserve or National Guard for a period for which he is granted military leave under section 6323(b) shall be credited against the pay payable to the employee or individual with respect to his civilian position for that period.