That Shor's algorithm would be useful for the NSA and maybe worth tens of billions