added IntegerSizeFilter to IntegerWidget

so that users cannot enter numbers that are too large to be integers
Class-level comment, please.