I think you can use the daterange element to filter numbers, dates are numbers... not sure it does decimals though.
(it might need to be a nematic field too)
Well I have a look at it and experiment but I couldn’t find a way to a working solution (without decimal to start with).
May be I’m a missing something...
With 2 select fields (start and end)I got it right to find the number in between.
But how to make it work with a single select like my case ? (each option is a range between 2 values) ?