finally compiled bignum correctly.