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