NavList thread: Hundreds of millions of GPS receivers