Steps to Reproduce

1. copy a text (not a number)
2. paste into <intbox/>

Current Result

the text is pasted into <intbox>

Expected Result

prevent users pasting non-digital text

Workaround

• in 3838.zul, preventPastingNonDigital(). This workaround works only IE 11 or above
• Older IEs don't support onPaste
• only IE 10 or above supports clipboardData