Fixed most bugs. Now ZNumber works correctly with module < 2^32