math/distribution will be the new home of probabilistic distributions