The millimeters data type

The millimeters type is a number representing millimeters. This is used in the scaling element to provide a default scaling from tenths to physical units.