simplify use of bignum in util