bignum: added missing definitions for mod overflow checks