let is_one x = Q.equal one x