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