I agree with you on measuring, although it's quite possible with digital measuring devices instead of a ruler. Those always give more accuracy than you need in most cases. I've caught myself mulling whether something is .123 or .124 when .1 is sufficient.
But when they're averaging 15,500 measurements, the math will no doubtedly go passed two decimal places. I'd guess they rounded back to be practical.