pub fn make_base_discrete_gaussian_rug<D>(
    scale: Rational
) -> Fallible<Measurement<D, D::Carrier, D::InputMetric, ZeroConcentratedDivergence<Rational>>>where
    D: DiscreteGaussianDomain<Rational, Atom = Integer>,
    (D, D::InputMetric): MetricSpace,