adding a number format filter

I've always found a filter like this handy.