Restrict integer to be greater than or equal to 0