That's a staggering amount, when you consider that the federal government purchases about $5 billion of electricity per year.