Board Thread:General Discussion/@comment-33436465-20180824141718/@comment-27996636-20180830132103

We can call ourselves Ints for short. Internationals = Ints.