Added function big_integer_decrement() which decrements a BigInteger in place by a specified amount