Implementing rounding (by manual integration) more efficiently

I mean pytensor.tensor.vectorize which works just like numpy.