Normal variable

normal_variable(Real, Real)

Given two reals $\mu$ and $\sigma >0$, returns a random variable following a normal distribution with parameters $\mu$ and $\sigma$, $N(\mu, \sigma^2)$.

Chi-squared variable, Student's t variable