The patches enabling _Float16 should update the paragraph in extend.texi about where _Float* types are supported, as it currently says "GCC does not currently support @code{_Float16} or @code{_Float128x} on any systems.". (The release notes gcc-7/changes.html will also need updating.)
-- Joseph S. Myers jos...@codesourcery.com