sclass WithPreciseProbability<A> extends WithProbability<A> {
  *() {}
  *(double p, A a) { super(p, a); }
  
  S renderedProbability() {
    ret str(probability);
  }
}