It also includes the alternative 1440×1152 HDMAC scan format.  What were 1920x1080i and 1280x720p not defined by?