Zarith extended

François Bobotrequested to merge
zarith_extended into master

optimization by using Zarith with new bit operations.

https://github.com/bobot/zarith/pull/1

Merge request reports