../ CVS/ 26-Feb-2005 21:59 - huge_val.h 15-Mar-2004 21:44 1941 huge_valf.h 15-Mar-2004 21:44 1901 inf.h 15-Mar-2004 21:44 1123 nan.h 16-Apr-2004 22:03 1683