/is_integral.cc/1.3/Sat Dec 11 21:46:24 2004//
/typedefs.cc/1.1/Sat Dec  4 09:08:42 2004//
D
