fixed bug in bignum_to_string