Extra filters form: better widget for numeric filters

[JoselleAstrid]

Right now, regardless of the filter type (selection or numeric), we use a dropdown, or a text-search with autocomplete if there are enough possibilities.

This would be clunky for GX settings, however, which has 101 values ranging from 0% to 100%. In this case at least, maybe a number input with up/down arrows would work better. And/or a slider widget (quite intuitive for settings).

Also consider other numeric filters such as X settings. My understanding is that X settings are extremely fine-grained, and you can't even tell what the exact value is unless you're looking at the RAM, so it wouldn't make sense to make filters for exact values. So the filter values would probably be something like: -7 to -6, -6 to -5, ..., +6 to +7. About 14 filter values in that case, which actually is reasonable for a dropdown.