Precedes r←x⊲y

r is whether x is less than y according to total array ordering. Supports the tolerance extra argument.