Searched defs:fninf (Results 1 – 4 of 4) sorted by relevance
53 float fninf = -fpinf; in main() local
95 fninf = (1, MPZ_ZERO, -789, -3) variable
1809 FILE *finf, *fninf; in MPInformSites() local