Very simple request, a infinity constant.
"INFINITY" { count(); yylval.fval = INFINITY; return(FP_CONSTANT); }
Support for negative infinity is implied by doing
-INFINITY