[COMMIT] Remove a redundant double division, number-mp.c:bignum_ceil().