HUGE_VALF
# define HUGE_VALF __builtin_huge_valf()
# define HUGE_VALF (((__huge_valf_t) { __l: __HUGE_VALF_v }).__f)