Numerical values with units enforced at run-time