Gaussian distributions are a horrible choice for representing measurement uncertainty. If the tool is properly calibrated, 100% of the probability mass will be within (6.9, 7.1). A normal distribution would have probability mass in negative numbers!
There's also no motivation for choosing a normal distribution here - why would we expect the error to be normal?
There's also no motivation for choosing a normal distribution here - why would we expect the error to be normal?