Bignum rounding problem by ruberad