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?