Actually, I did think of using sum when I was computing the length differently, but I made another change and never got back to it. I agree, sum would be better.
Actually, I did think of using sum when I was computing the length differently, but I made another change and never got back to it. I agree, sum would be better.