Rational(1, typemin(Int)) comparisons with 0 and 1 deny transitiveness of <

[KlausC]

Maybe that should be solved. It is related to #15225, probably.
Transitivity of < should be maintained also by Rational{Int}.

julia> 1 // typemin(Int)
-1//-9223372036854775808
julia> 1 // typemin(Int) < 0
true
julia> 1 // typemin(Int) < 1
false

I propose to throw ArgumentError when typemin(T) is going to become denominator for all bits types T.