/huge_val.h/1.8/Tue Mar 16 14:36:28 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/Sun Apr 18 18:26:08 2004//
D
