Yes, and even smaller. Today's 7x and 8x tippet is about 2.5# and 1.6# respectively. That's probably similar to what 5x and 6x was maybe 20-25 years ago.

Allan