fix big number library