Greater-than.
@override Logic gte(dynamic other) { _verifyCompatible(other); return mux(Const(signed) & this[-1], super.lte(other), super.gte(other)); }