Rewriting BigWord functions using Integer internally