In many places, we have double values, that always have a trailing ".0" (e.g 10.0)
This is not easy to read (especially for Inset/Padding), and inconsistent with the inspector.