#include /* HUGE_VAL */ #include /* printf() */ double inf(void) { return HUGE_VAL; } int main() { printf("%g\n", inf()); return 0; }