feat: change radix of bigint to 2^32 (#935)

* test: add test to show bigint bug

* fix: bigint normalization for div

* misc: cleanup duplicated check

* fix: normalize left shift

* feat: change base

---------

Co-authored-by: Hongbo Zhang <bob.hongbo.zhang@foxmail.com>