nextRandom
public Double nextRandom(JSON.Value json)
Return a random number from a probability distribution specified in the JSON.Value.
If it is a constant, return the value.
If it is a list (pair), return a uniform random number between them.
If it is a dict (of one key), return a random number sampled from a distribution given by the key name:
"const": [value] ... constant, the value.
"uniform": [min, max] ... uniform between min and max.
"normal": [mu, sigma] ... normal of mean mu and variance sigma^2.
"expon": [lambda] ... exponential of expected lambda.