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