code: @CheckReturnValue
    @GwtIncompatible("Does not truncate correctly")
    public UnsignedInteger times(UnsignedInteger val) {
      // TODO(user): make this GWT-compatible
      return fromIntBits(value * checkNotNull(val).value);
    }
docs: Returns the result of multiplying this and {@code val}. If the result would have more than 32
  bits, returns the low 32 bits of the result.
  
  @since 14.0