[no_gravity]

    Filtering up to 13" ignores 13.3" when it should probably include it.

Hmm... should it? Im not sure. Would love to see a poll on this.

[function_seven]

Poor GP post is going gray, but I kinda agree. 13.3 should probably make the <13 cut, just as 14.9 should make the >15 cut. The slider is limited to whole numbers, so it might make sense to round the display's actual diagonal to the nearest integer before applying the user's criteria.

[hollerith]

I think it is better to change the interface so that the choice is labelled <13.3 rather than <13.