float x = __builtin_nanf("");