search-provider: don't match plain numbers

Filter out plain number from search results, so that entering just a number
doesn't show up as the number equaling itself. Also handle locale-specific
thousands separator and decimal separator.

https://bugzilla.gnome.org/show_bug.cgi?id=737620