Input Type For Integer Inequalities