The numbers were also mentioned in the ST front page news one day earlier (Nov 9), which also mentioned that as of June this year there were 3.68 million PRs+citizens, and 1 million foreigners. Out of the 1m foreigners, 756k are working.