added IntegerSizeFilter to IntegerWidget

so that users cannot enter numbers that are too large to be integers