add zarith as dependency