It looks less if you compare salary to salary, but factoring in the civil service pension means GDS staffers probably get paid more