float x = __builtin_inff();