Succeeds r←x⊳y

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