+zarith.1.3

Closes #2829