code: @CheckReturnValue
    public UnsignedInteger plus(UnsignedInteger val) {
      return fromIntBits(this.value + checkNotNull(val).value);
    }
docs: Returns the result of adding this and {@code val}. If the result would have more than 32 bits,
  returns the low 32 bits of the result.
  
  @since 14.0