dimensional-1.6: Statically checked physical dimensions