dimensional-1.6.2: Statically checked physical dimensions