Added multiplication by uint8_t to big_uint.