cvs commit: hugs98/src bignums.c