Cauchy prior for dt