Improved Int128.opCmp