The International Astronomical Union (IAU) is a collection of professional astronomers who act as the internationally recognised authority for assigning designations to celestial bodies. It also assigns names to constellations. How many constellations have been formally names by the IAU?