See [char.traits.specializations.char32.t].