This is clearly unacceptable and straight-up incorrect, whatever the type inference. I’m surprised as I haven’t seen this before and I’ve seen a bunch of weird results due to the heterogeneous comparison operators. @idrougge, can you file a bug?
I wonder if @hborla can speak to the operator resolution side of things here. @scanon, who’s maintaining the integer stuff in the standard library these days and how do we…make this not happen?