pub type Width = Numeric<Width>;