Abstract—We add a random variable type to a mathematical modeling language.We demonstrate through examples how this is a highly separable wayto introduce uncertainty and produce and query stochastic models. We motivatethe use of symbolics and thin compilers in scientific computing.