There has always been the claim that checking units of measure (SI aka MKS, or CGS in gaussian or other variant) is important. A web search shows examples for such libraries in many languages. Ada is no exception, examples go back to the 80s as I have shown in my Ada Europe 2003 paper.
There are currently several possibilities I know of: AdaCore’s language extension Gnat User’s Guide chapter 6.5, Dmitry Kazakov’s Units of Measurement for Ada, my SI Units Checked and Unchecked.
So please, if you have ever used such a method (not necessarily one of the above), could you tell us about your experiences?