sclass WithPreciseProbability<A> extends WithProbability<A> {
  S renderedProbability() {
    ret str(probability);
  }
}