ensured integer input