dimensional-0.12: Statically checked physical dimensions.