add C11 floating-point characteristic macros to float.h