zarith: update from 1.2.1 to 1.3
Merge pull request #4460 from vbgl/zarith

zarith: update from 1.2.1 to 1.3