I’m reckoning this is a bug, probably not with Ditto but in the way template variables are stored i.e. Number TVs ought to be numbers.
As far as I can see, if number TVs were indeed numbers, then the code in Ditto’s filter.class.inc.php would do a numeric comparison.
I think I will write a plugin to ’sanitise’ the entered Number value and copy the result to another TV. This keeps the original ’number’ as entered intact e.g. "2,500" for display. Elsewhere however I can have a TV that is automatically filled with 2500 as a ’proper’ number for comparison purposes.
-- Tim.