This would be quite a big galaxy, even today. At a time when the universe was only 800 million years old, it's positively gigantic.