Type-checked units and quantities.