GCC offers a _Float16 type, but - what about the functions to work with it?

c gcc floating-point half-precision-float math-functions