added IntegerSizeFilter to IntegerWidget

so that users cannot enter numbers that are too large to be integers
Shouldn't this be source.subSequence(start, end)?

"This method is called when the buffer is going to replace the range dstart … dend of dest with the new text from the range start … end of source."