Except as otherwise provided by subsection (c) of this section, an employee is entitled to pay for nightwork at his rate of basic pay plus premium pay amounting to 10 percent of that basic rate. This subsection and subsection (b) of this section do not modify section
5141 of title
31, or other statute authorizing additional pay for nightwork.