docs: public static /*@pure@*/ double probToLogOdds(double prob) {
  
      if (gr(prob, 1) || (sm(prob, 0))) {
        throw new IllegalArgumentException("probToLogOdds: probability must " +
  				     "be in [0,1] "+prob);
      }
      double p = SMALL + (1.0 - 2 * SMALL) * prob;
      return Math.log(p / (1 - p));
    }