[tomglynch]

You are arguing a very minor point.

[wcoenen]

I appreciate the feedback, it feels better than getting only downvotes. I thought it was an important point because the number was off by at least an order of magnitude, maybe two. But I can see how my response might have been seen as pedantic.