A type-safe representation of units with zero-run-time overhead. This library decouples the physical dimensions from the units themselves there by allowing to inter-convert between different systems such as SI and Imperial. The system allows for non-integer rational powers of physical dimensions as well(eg: L^2.5)