Add integer operators eq and leq