class NumericLoggingDecorator implements Numeric, PerformanceLogger {

  @Override
  public DRes<SInt> known(BigInteger value) {
    return this.delegate.known(value);
  }

  public  NumericLoggingDecorator(Numeric delegate);

}