/Numeric.java/1.13/Sun Oct 29 01:31:54 2000//
/FloNum.java/1.8/Fri Nov  3 11:09:11 2000//
/IntNum.java/1.12/Wed Nov 15 05:19:47 2000//
D
