Rewrite Bigint