/huge_val.h/1.8/Mon Mar 15 21:44:10 2004//
/huge_valf.h/1.1/Mon Mar 15 21:44:10 2004//
/inf.h/1.1/Mon Mar 15 21:44:10 2004//
/nan.h/1.9/Fri Apr 16 22:03:35 2004//
D
