No ieee_half support in xml remote target description?

Robert Henry <[email protected]>
Newsgroups gmane.comp.gdb.devel
Message-ID <CAEYr_8mL=iHpOvmAMmXABke+3d+A=YP+bUR_vzio0omn4WXhcg@mail.gmail.com> 
Appendix G target descriptions
https://sourceware.org/gdb/current/onlinedocs/gdb/Predefined-Target-Types.html#Predefined-Target-Types
documents support for ieee_single and ieee_double, but not ieee_half
(16-bit) or the 128-bit version.

Is this unsupported in the xml mechanisms, or is the documentation merely
inconsistent or out of date?
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.