In this case it is much better to round to the nearest tenth of an inch.
9.4m questions
12.1m answers