class BaseUInt64Value implements UInt64Value<T> {

  @Override
  public T addMod(T value, UInt64 modulus) {
    return addMod(value.toUInt64(), modulus);
  }

  protected  BaseUInt64Value(UInt64 value, Function<UInt64, T> ctor);
  protected  BaseUInt64Value(long value, Function<UInt64, T> ctor);
  protected  BaseUInt64Value(BigInteger value, Function<UInt64, T> ctor);

}