Yes but on the scale of traditional social media sites' account populations, AT users are currently a rounding error. And sites aren't required to provide federation.