type-checking support in Python?

[Lawrence D'Oliveiro]

In message <mailman.2089.1223358567.3487.python-list at python.org>, Gabriel
Genellina wrote:

> As an example, in the oil industry here in my country there is a mix of
> measurement units in common usage. Depth is measured in meters, but pump
> stroke in inches; loads in lbs but pressures in kg/cm².

Isn't the right way to handle that to attach dimensions to each number?