Scaling Integer Arithmetic in Probabilistic Programs