let is_zero x = Q.equal zero x