BUGFIX: change of algorithm of bigint bit-ops, should work as expected now