added IntegerSizeFilter to IntegerWidge

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