docs: public static double cdf(double val, double rate) {
      final double v = .5 * FastMath.exp(-rate * Math.abs(val));
      return (v == Double.POSITIVE_INFINITY) ? ((val <= 0) ? 0 : 1) : //
          (val < 0) ? v : 1 - v;
    }