Make bignum-test also test the mod-with-setup form of a % b computation.