Fix numeric filtering for European decimal formats (comma separator)

Numbers with comma as decimal separator (e.g., 1.234,56) don't filter correctly.