code: @CheckReturnValue
    public UnsignedInteger minus(UnsignedInteger val) {
      return fromIntBits(value - checkNotNull(val).value);
    }
docs: Returns the result of subtracting this and {@code val}. If the result would be negative,
  returns the low 32 bits of the result.
  
  @since 14.0