Probability distribution constructed as the distribution of the ratio of random variables having two other known distributions