Remember there's also BeiDou, Galileo, and GLONASS as well.

Our RTK base station (a Ublox ZED-F9P receiver, with a cheap patch antenna on the roof) can currently see 45 GNSS satellites.