Thank you. I've been using Options -> General -> Decimal display, which does not affect dimensions.
Now I see how to do it.