How to have strongly typed numerical values?

[bearophile]

Nicholas Londey:

> however I am less convinced on systems that allow implicit 
> combining of units of the same quantity type. I feel part of 
> the type is its range and precision and so there is no valid 
> way to implicitly add kilometers to millimeters for example.

I see. If the range and precision are statically know then it's 
possible to design types that contain such values too. If they 
are known at run-time they need some run-time tests.

Bye,
bearophile