/numLib.sig/1.1.2.1/Tue Jul  1 04:01:16 1997//THOL97
/numLib.sml/1.1.2.1/Tue Jul  1 04:00:53 1997//THOL97
