fix BIGNUM flag handling
3 files changed