Proposed resolution (February, 2008):
Append the following paragraph to the end of 7.6.9 [expr.rel]:
If both operands (after conversions) are of arithmetic type, each of the operators shall yield true if the specified relation is true and false if it is false.
Append the following paragraph to the end of 7.6.10 [expr.eq]:
Each of the operators shall yield true if the specified relation is true and false if it is false.