/huge_val.h/1.8/Sat Mar 20 22:24:22 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/Wed Apr 28 22:55:10 2004//
D
