DoD has 8 million computers? It's not like it's all government branches combined.
In fact - DoD should just have it's own internet - that is completely separate. I'd argue that DoD networks should not have any connectivity with broader internet, making their use of the whole 32 bit space completely independent from everyone else.