Según el estándar, estos tipos se definen del siguiente modo: