Ext JS plugin for separating thousands in numbers entered in textfields.