That's less than 1%. Since the relationship between diameter and circumference is, of course, linear, a 1% difference in effective diameter would produce that much difference. Basically, we're talking about your tire compressing about 3-1/2 millimeters extra (3-1/2 on each side = 7). About 1/8".

Makes sense.