Scaling integer arithmetic in probabilistic programs