See [comparisons.less.equal].