I agree with your opinion - the the width should have different defintions for tyres and the rims. Not sure if 1 decimal place is needed anywhere - rounding to the nearest mm is unlikely to produce duplicates. Profile is not rounded in the ISO specification and should not be rounded here.
Chris (LDraw Parts Library Admin)