zarith: update from 1.2.1 to 1.3