commit/XEmacs: kehoea: Remove a redundant double division, number-mp.c:bignum_ceil().