+zarith.1.3

Closes #2829
Merge pull request #2843 from mirage/zarith-1.3-2

+zarith.1.3