Description: The value of the distribution of a random variable. (Contributed by Thierry Arnoux, 9-Feb-2017)