From the BBC website:
DEFENCE SPENDING AND PERSONNEL
Country Defence budget %GDP Active personnel
US $470.2bn 4% 1,426,713
UK $64bn 2.5% 201,400
France $41.5bn 1.95% 259,050
Germany $27.9bn 1.30% 284,500
The implication to the civilian world being that we must be overpaid - after all, France and Germany have bigger armed forces for less money.