The bitcoin network currently has more hashing power than the top 500 super computers COMBINED.
That figure is really only valid for publicly available info. NSA, for instance, is one of the largest electricity users on the eastern seaboard.
They must be mining like crazy... saying "aha... soon we wont need to stash money and hide it from congress... we will fund all the black ops with our precious... bitcoins...."