CVS update by ben xemacs/src, number-gmp.h ...