class NumericLoggingDecorator implements Numeric, PerformanceLogger {

  @Override
  public DRes<SInt> randomElement() {
    this.randElmCount++;
    return this.delegate.randomElement();
  }

  public  NumericLoggingDecorator(Numeric delegate);

}