dimensional-1.4: Statically checked physical dimensions