exposing student_t_cdf in the modeling language