com.extjs.gxt.ui.client.widget.grid.filters.NumericFilter

when isFiltered called from BaseNumericFilterConfig, cast of value to double is happening and it not always a double. Any reason why it's not done like in NumericFilter ((Number)val).doubleValue() or I'm misusing the functionality?

thanks a lot,

Vadim