If R1::num × R2::den
is less than R2::num × R1::den
derived from bool_constant<true>
; otherwise it shall be derived from
Implementations may use other algorithms to
compute this relationship to avoid overflow.
If overflow occurs, the program is ill-formed.