code: @CheckReturnValue
    public UnsignedLong times(UnsignedLong val) {
      return fromLongBits(value * checkNotNull(val).value);
    }
docs: Returns the result of multiplying this and {@code val}. If the result would have more than 64
  bits, returns the low 64 bits of the result.
  
  @since 14.0